Dela via

Using Annotations to Reduce C/C++ Code Defects

  • Artikel

Annotations allow functions to explicitly state behavior. 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

Annotation Overview

Learn about annotations, attributes, properties, and usage.

How to: Annotate C++ Code

Learn to annotate C/C++ code that is compiled by using /Tc, /Tp, /TC, /TP (Specify Source File Type) option.

How to: Annotate C Code

Learn to annotate C/C++ code that is compiled by using /Tc, /Tp, /TC, /TP (Specify Source File Type) option.

Annotation Properties

Lists and describes properties that can be used when annotating code.

Reference

Attributed Programming Concepts