3 ms·
> SAL annotations Are there tools for developers to use these (e.g. with VC++), or are they all Microsoft internal?
by mehrdadn 7y ago
> SAL annotations
Are there tools for developers to use these (e.g. with VC++), or are they all Microsoft internal?
- ryacko 7y agoI have read about this: https://github.com/google/styleguide/tree/gh-pages/cpplint https://github.com/google/styleguide/tree/gh-pages/cpplint There is also this: https://github.com/mre/awesome-static-analysis https://github.com/mre/awesome-static-analysis
- mehrdadn 7y agoI was specifically asking about SAL.
- ryacko 7y agoThere is also this: https://docs.microsoft.com/en-us/visualstudio/code-quality/using-sal-annotations-to-reduce-c-cpp-code-defects?view=vs-2019 https://docs.microsoft.com/en-us/visualstudio/code-quality/u...
- mehrdadn 7y agoI think they talk about the annotation but not the analysis tools?
- hoseja 7y agohttps://docs.microsoft.com/en-us/visualstudio/code-quality/code-analysis-for-c-cpp-overview https://docs.microsoft.com/en-us/visualstudio/code-quality/c... It's part of VC++. But I do not recommend using SAL for modern code.
- mehrdadn 7y agoOh 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!
- tru3_power 7y agoYup there are a few static code analysis tools that support using annotations afaik
- mehrdadn 7y agoSAL specifically, or other kinds?