Static Driver Verifier Limitations

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 library

Static 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