정적 드라이버 검증 도구 제한 사항
이 섹션에서는 SDV 도구의 일반적인 제한 사항, SDV가 드라이버 코드를 올바르게 해석하지 못하도록 하는 몇 가지 기술적 제한 사항 및 SDV에서 확인할 수 있는 드라이버의 특징에 대해 설명합니다.
이 단원에는 다음이 포함됩니다.
정적 드라이버 검증 도구가 드라이버 또는 라이브러리를 지원하는지 확인
정적 드라이버 검증 도구 일반 도구 및 기술 제한 사항
_analysis_assume 함수를 사용하여 잘못된 결함 억제