Note
Access to this page requires authorization. You can try signing in or changing directories.
Access to this page requires authorization. You can try changing directories.
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