정적 드라이버 검증 도구의 라이브러리 처리

많은 드라이버는 동적 및 정적으로 연결된 함수 라이브러리에 의존합니다. 일반적으로 라이브러리에는 일반 처리 함수가 포함되지만 경우에 따라 드라이버에 필수적인 기능이 포함됩니다.

라이브러리는 드라이버가 인터페이스 규칙을 준수하는지 여부를 결정하는 데 필수적입니다. 예를 들어 라이브러리 코드가 없으면 드라이버가 라이브러리에 포함된 필수 호출을 놓친 것처럼 보일 수 있습니다. 또는 라이브러리에 드라이버가 중복되는 호출이 포함되어 잠금을 두 번 해제하는 등의 반복 오류가 발생할 수 있습니다.

드라이버 확인에 라이브러리를 포함하려면 먼저 SDV 에서 라이브러리를 처리 하여 드라이버 확인에 사용할 수 있도록 준비해야 합니다.

SDV는 드라이버가 의존하는 모든 라이브러리를 자동으로 검색하고 처리하려고 하지만 일부 라이브러리 원본 파일의 위치를 모르기 때문에 이러한 라이브러리를 자동으로 처리하여 드라이버 확인에 포함할 수 없습니다. SDV가 드라이버에 대해 가장 정확한 분석을 제공하는지 확인하려면 라이브러리 탭을 클릭하고 라이브러리 추가를 선택하여 라이브러리를 처리하여 드라이버가 참조하는 라이브러리를 SDV의 라이브러리 캐시에 수동으로 추가 해야 합니다. 명령줄에서 실행하는 경우 라이브러리 프로젝트에 대해 /lib 명령으로 sdv를 실행하여 라이브러리를 추가할 수 있습니다.

SDV가 라이브러리를 처리한 후에는 해당 라이브러리에 대한 처리 파일을 유지하고 라이브러리가 필요한 모든 드라이버의 확인에 라이브러리 코드를 자동으로 포함합니다. 라이브러리 코드가 변경되지 않는 한 라이브러리를 다시 처리할 필요가 없습니다. 라이브러리를 다시 처리하는 방법에 대한 지침은 라이브러리 다시 처리를 참조하세요.

이 단원에는 다음이 포함됩니다.

라이브러리 처리

라이브러리 다시 처리

코멘트

SDV에는 시스템 라이브러리에 대한 처리된 라이브러리 파일이 포함되어 있습니다. 이러한 라이브러리를 처리하도록 SDV에 지시할 필요가 없습니다. SDV는 드라이버가 이러한 라이브러리에 의존하는 것을 감지하면 경고 메시지를 표시하지 않고 이러한 라이브러리에 대해 처리된 파일을 사용합니다. 라이브러리 요구 사항에 대한 자세한 내용은 정적 드라이버 검증 도구가 드라이버 또는 라이브러리를 지원하는지 확인을 참조하세요.