静态驱动程序验证程序的限制

本部分介绍 SDV 工具的一般限制、阻止 SDV 正确解释驱动程序代码的一些技术限制以及 SDV 可以验证的驱动程序的特征。

本节包括:

确定静态驱动程序验证程序是否支持你的驱动程序或库

静态驱动程序验证程序常规工具和技术限制

使用 _analysis_assume 函数抑制误判缺陷

对延迟的过程调用使用 __sdv_save_request 和 __sdv_retrieve_request

使用 __sdv_save_adapter_context 跟踪适配器上下文字段