Table of contents
Collapse the table of content
Expand the table of content

Static Driver Verifier Limitations

Last Updated: 1/24/2017

This section describes the general limitations of the SDV tool, some technical limitations that prevent SDV from correctly interpreting driver code, and the characteristics of drivers that SDV can verify.

This section includes:

Determining if Static Driver Verifier supports your driver or libraryStatic Driver Verifier General Tool and Technical Limitations

Using the _analysis_assume Function to Suppress False Defects

Using __sdv_save_request and __sdv_retrieve_request for Deferred Procedure Calls

Using __sdv_save_adapter_context to Track Adapter Context Fields

Send comments about this topic to Microsoft

© 2017 Microsoft