Using Annotations to Reduce C/C++ Code Defects
Annotations enable a function to explicitly state the behavior of parameters and return values before and after the function is called. This additional information provided by the developer is used by the code analysis tool to detect violations of the contract between the caller and the callee. The annotation scheme is implemented as VC++ compiler attributes.
The following sections provide more information about attributes and how they are defined and applied.
In This Section
Learn about annotations, attributes, properties, and usage. |
|
Learn to annotate C/C++ code that is compiled by using the /TP option. |
|
Learn to annotate C/C++ code that is compiled by using /TC option. |
|
Lists and describes properties that can be used when annotating code. |