General-purpose annotations provide PREfast with information about the information flow between a caller and the function that is being called, both in terms of direction of information flow and in providing size and type information that can be checked to detect potential buffer overflows.
You can use the general-purpose annotations in both driver and nondriver code. General-purpose annotations are defined in Specstrings.h and described with extensive comments in Specstrings_strict.h. Both files are in %wdk%\inc\api.
This section provides guidelines and examples for using the general-purpose annotations and modifiers listed in Table 23-1.
Table 23-1. General-Purpose Annotations
Input and ...