General-Purpose Annotations
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
Annotation | Usage |
|---|---|
__in __out __inout | Input ... |
Get Developing Drivers with the Windows® Driver Foundation now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
