What is the purpose of SAL (Source Annotation Language) and what is the difference between SAL 1 and 2?
问题 As asked in the title: What is the purpose of SAL (Source Annotation Language) and what is the difference between SAL 1 and SAL 2? I understand the basics of the usage, and that is serves to highlight the purpose of each of the variables passed to functions along with various other things for static code analysis, but how much difference does it actually make (ignoring increasing clarity of parameter requirements for other programmers on the project)? If I was to have the following prototype: