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-anal...
Re:Checked C
by WalterBright on Thursday December 22, 2022 @03:19PM
(#34098095)
No, not that one. Maybe PVS-xxxx
Here is a list of almost every known static analysis tool for C++:
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:
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
It is a static analyzer built into Microsoft Visual Studio:
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-anal...
I once told the Coverity staff that the purpose of D was to put Coverity out of business (!)