Well, we sorely need something better than the current static code analysis tools, like sub-par products SonarQube and CodeQL that see massive overuse, because

Well, we sorely need something better than the current static code analysis tools, like sub-par products SonarQube and CodeQL that see massive overuse, because these tools do not understand that living and evolving code needs imperfections and that _most_ programmers have already thought through their code and made decisions that can't align with poor text book examples of "correct code".