That’s just static code analysis with extra steps