Source Annotation Language

The source-code annotation language is a set of annotations developed by Microsoft that describe how a C/C++ programming language function will use its parameters. SAL annotations allow a programmer to declare guaranteed characteristics of a parameter, such that they can be verified by the compiler at compile time.

This computer programming-related article is a stub. You can help Wikipedia by expanding it.