Shortly after I joined Microsoft in 2004, all new feature work on Windows Longhorn (Vista) was halted. There had been yet another high profile computer virus on Windows XP caused by a buffer overflow. It was an all-hands-on-deck type moment. Everyone spent weeks adding SAL (source-code annotation language) annotations to the entire Windows code base. SAL annotations enabled automated source code analysis to identify…
> SAL annotations Are there tools for developers to use these (e.g. with VC++), or are they all Microsoft internal?
There is also this: https://github.com/mre/awesome-static-analysis