2 ms·

Was it PC-Lint? That was probably a bad choice. John Carmack did not rate it very highly: http://www.sevangelatos.com/john-carmack-on-static-code-analysis/ ht

• WalterBright 4y ago
  No, not that one. Maybe PVS-xxxx
  • ryao 4y ago
    Here is a list of almost every known static analysis tool for C++: https://analysis-tools.dev/tag/cpp https://analysis-tools.dev/tag/cpp The only one I know to exist absent from that list is Microsoft’s /analyze. That said, I am surprised that D only has 1 tool listed: https://analysis-tools.dev/tag/dlang https://analysis-tools.dev/tag/dlang
    • mre 4y ago
      Maintainer of the list here. Thanks for mentioning it. I have not heard of Microsoft's analyze. Could you paste a link here? I will add it to the list, then. Alternatively you could send a pull request to the repository. ;) https://github.com/analysis-tools-dev/static-analysis https://github.com/analysis-tools-dev/static-analysis
      • ryao 4y ago
        It is a static analyzer built into Microsoft Visual Studio: https://learn.microsoft.com/en-us/cpp/build/reference/analyze-code-analysis?view=msvc-170 https://learn.microsoft.com/en-us/cpp/build/reference/analyz... The only reason I know about it is that John Carmack rated it highly: http://www.sevangelatos.com/john-carmack-on-static-code-analysis/ http://www.sevangelatos.com/john-carmack-on-static-code-anal...