I have read about this: https://github.com/google/styleguide/tree/gh-pages/cpplint

There is also this: https://github.com/mre/awesome-static-analysis

I was specifically asking about SAL.

There is also this: https://docs.microsoft.com/en-us/visualstudio/code-quality/u...

I think they talk about the annotation but not the analysis tools?

Oh wow. I'd used /analyze before but I hadn't realized it takes SAL into account. I thought it just does limited extra analysis without SAL. Thank you!

Yup there are a few static code analysis tools that support using annotations afaik

SAL specifically, or other kinds?