정적 드라이버 검증 도구로 Windows 드라이버에서 결함 찾기

아티클
06/15/2023

SDV(정적 드라이버 검증 도구)는 인터페이스 규칙 집합과 운영 체제 모델을 사용하여 드라이버가 Windows 운영 체제와 올바르게 상호 작용하는지 확인합니다. SDV는 드라이버 코드에서 드라이버의 잠재적 버그를 가리킬 수 있는 결함을 찾습니다.

SDV는 WDM, KMDF, NDIS 또는 Storport 드라이버 모델 중 하나를 준수하는 커널 모드 드라이버를 분석할 수 있습니다. 자세한 내용은 지원되는 드라이버 및 정적 드라이버 검증 도구가 드라이버 또는 라이브러리를 지원하는지 확인을 참조하세요. 또한 SDV는 위의 드라이버 모델을 따르지 않는 드라이버에 대해 제한된 지원(null 역참조와 같은 일반적인 오류에 초점을 맞춘 엄격하게 제한된 규칙 집합)을 제공합니다.

소스 코드 준비

다음 단계를 사용하여 분석을 위해 코드를 준비합니다.

함수 역할 형식을 사용하여 드라이버 제공 함수 선언

SDV를 사용하려면 함수 역할 형식 선언을 사용하여 함수를 선언해야 합니다. 예를 들어 driverEntry 루틴은 DRIVER_INITIALIZE 함수 역할 형식을 사용하여 선언해야 합니다.
```
DRIVER_INITIALIZE DriverEntry;
```
선언 후에는 다음과 같이 콜백 루틴을 구현(또는 정의)합니다.
```
/
// Driver initialization routine
//
NTSTATUS
  DriverEntry(
    _In_ struct _DRIVER_OBJECT  *DriverObject,
    _In_ PUNICODE_STRING  RegistryPath
    )
  {
      // Function body
  }
```
지원되는 각 드라이버 모델에는 드라이버 콜백 함수 및 디스패치 루틴에 대한 함수 역할 유형 집합이 있습니다. 이러한 함수 역할 형식은 WDK 헤더 파일에서 선언됩니다. 예를 들어 Wdm.h에 표시되는 DRIVER_INITIALIZE 역할 형식에 대한 함수 프로토타입은 다음과 같습니다.
```
/
// Define driver initialization routine type.
//
_Function_class_(DRIVER_INITIALIZE)
_IRQL_requires_same_
typedef
NTSTATUS
DRIVER_INITIALIZE (
    _In_ struct _DRIVER_OBJECT *DriverObject,
    _In_ PUNICODE_STRING RegistryPath
    );

typedef DRIVER_INITIALIZE *PDRIVER_INITIALIZE;
```
함수 역할 형식은 WDK 헤더 파일에 이미 정의되어 있으므로 콜백 함수를 해당 형식으로 선언하기만 하면 됩니다. 이 경우 DriverEntry 를 DRIVER_INITIALIZE 형식으로 선언합니다. 드라이버 모델에 대한 함수 역할 형식의 전체 목록은 함수 역할 형식 선언 사용을 참조하세요.

C/C++에 대한 코드 분석 실행

소스 코드가 준비되었는지 여부를 확인하려면 Visual Studio에서 코드 분석 도구를 실행합니다. 코드 분석 도구는 SDV에 필요한 함수 역할 형식 선언을 확인합니다. 코드 분석 도구는 함수 정의의 매개 변수가 함수 역할 형식의 매개 변수와 일치하지 않을 때 누락되었을 수 있는 함수 선언을 식별하거나 경고하는 데 도움이 될 수 있습니다.

Visual Studio에서 드라이버 프로젝트를 엽니다.
빌드 메뉴에서 솔루션에서 코드 분석 실행을 클릭합니다.

결과는 코드 분석 창에 표시됩니다. 누락되었을 수 있는 함수 선언을 수정합니다. 솔루션을 빌드할 때마다 실행되도록 코드 분석 도구를 구성할 수도 있습니다.

다음 표에서는 코드 분석 도구가 드라이버 코드에서 찾을 수 있는 몇 가지 경고를 보여 줍니다. 정적 드라이버 검증 장치를 실행하려면 드라이버에 이러한 결함이 없어야 합니다.

C/C++ 경고에 대한 코드 분석	Description
C28101	드라이버 모듈은 현재 함수를 <function-type> 함수로 유추했습니다.
C28022	이 함수의 함수 클래스가 정의에 사용된 typedef의 함수 클래스와 일치하지 않습니다.
C28023	할당되거나 전달되는 함수에는 하나 이상의 클래스에 대한 _Function_class_ 주석이 있어야 합니다.
C28024	할당 중인 함수 포인터에 함수 클래스로 주석이 추가되었는데 이 클래스는 함수 클래스 목록에 포함되지 않습니다.
C28169	dispatch 함수 함수 <> 에 _Dispatch_type_ 주석이 없습니다.
C28208	함수 서명이 함수 선언과 일치하지 않음

정적 드라이버 검증 도구 실행

Visual Studio에서 드라이버 프로젝트(.vcxProj) 파일을 엽니다. 드라이버 메뉴에서 정적 드라이버 검증 도구 시작...을 클릭합니다.

그러면 정적 드라이버 검증 도구 애플리케이션이 열리며, 여기서 정적 드라이버 검증 도구가 분석을 수행하는 시기를 제어, 구성 및 예약할 수 있습니다.
드라이버에 라이브러리가 포함된 경우 라이브러리 탭을 클릭하고 라이브러리 추가 를 클릭하여 라이브러리를 추가합니다.

라이브러리 소스 코드의 디렉터리로 이동하여 프로젝트 파일(.vcxProj)을 선택합니다. 드라이버에 포함된 모든 라이브러리를 추가합니다. SDV가 드라이버를 분석하기 전에 라이브러리를 추가해야 합니다. 드라이버 분석을 시작하면 SDV는 처리되지 않은 라이브러리도 분석합니다. 라이브러리가 처리되면 전역 SDV 캐시에 저장됩니다. 자세한 내용은 정적 드라이버 검증 도구의 라이브러리 처리를 참조하세요.
정적 드라이버 검증 도구에 대한 구성 설정을 확인합니다. 구성 탭을 클릭합니다.

프로젝트 구성 프로젝트 구성에는 Visual Studio에서 선택한 구성 및 플랫폼 설정이 표시됩니다.

리소스 대부분의 경우 기본 설정을 사용할 수 있습니다. SDV가 시간 제한, 포기 또는 스페이스아웃을 보고하는 경우 이러한 설정을 조정해 볼 수 있습니다. 자세한 내용은 정적 드라이버 검증 도구 문제 해결을 위한 권장 사항을 참조하세요.

일정 확인을 시작할 시작 시간을 선택합니다. 기본 설정은 기본 탭에서 시작을 클릭한 직후 분석을 시작하는 것입니다. 드라이버의 크기와 복잡성에 따라 정적 분석을 실행하는 데 시간이 오래 걸릴 수 있습니다. 가장 편리한 경우 분석을 시작하도록 예약할 수 있습니다. 예를 들어 하루가 끝날 때 입니다.

참고

]컴퓨터의 전원 관리 계획을 검사 분석 중에 컴퓨터가 절전 모드 상태가 되지 않도록 해야 합니다.
규칙 탭을 클릭하여 분석을 시작할 때 확인할 드라이버 API 사용 규칙을 선택합니다.

정적 드라이버 검증 도구는 분석 중인 드라이버 유형(WDF, WDM, NDIS 또는 Storport)을 검색하고 드라이버 유형에 대한 기본 규칙 집합을 선택합니다. 드라이버에서 SDV를 처음 실행하는 경우 기본 규칙 집합을 실행해야 합니다.

규칙에 대한 자세한 내용은 DDI 규정 준수 규칙을 참조하세요.
정적 분석을 시작합니다. 기본 탭을 클릭하고 시작을 클릭합니다. 시작을 클릭하면 정적 분석이 예약되고 분석이 실행되는 데 시간이 오래 걸릴 수 있음을 알리는 메시지가 표시됩니다. 계속하려면 확인 을 클릭합니다. 분석은 예약할 때 시작됩니다.

결과 보기 및 분석

정적 분석이 진행됨에 따라 SDV는 분석의 상태 보고합니다. 분석이 완료되면 SDV는 결과 및 통계를 보고합니다. 드라이버가 API 사용 규칙을 충족하지 못하면 결과는 결함으로 보고됩니다.

문제가 발생한 경우 SDV는 경고 및 오류 페이지에 해당 항목을 표시합니다. 드라이버 속성 페이지에는 특정 드라이버 속성에 대한 테스트 결과가 표시됩니다. 드라이버 속성 테스트는 분석을 추가로 한정하기 위해 드라이버 기능을 식별하는 데 사용됩니다. 드라이버 속성 결과를 사용하여 드라이버의 예상 속성 및 지원되는 기능을 확인할 수 있습니다.

정적 드라이버 검증 도구 보고서에서 특정 결함을 보려면 결과 창에서 결함을 클릭합니다. 그러면 규칙 위반에 대한 코드 경로의 추적을 표시하는 추적 뷰어가 열립니다. 자세한 내용은 정적 드라이버 검증 도구 결과 해석을 참조하세요.

참고

정적 드라이버 검증 도구는 분석의 결과와 설정을 유지합니다. 결과를 지우려면 정리를 클릭합니다.

정적 드라이버 검증 도구 결과 문제 해결

SDV에서 결함이 발견되지 않았다고 보고하는 경우 주 탭을 검사 진입점이 검색되었는지 확인합니다. 드라이버가 함수 역할 형식을 사용하여 함수를 선언하지 않으면 SDV는 드라이버 코드에서 결함을 분석하고 찾을 수 없습니다. 자세한 내용은 함수 역할 형식 선언 사용을 참조하세요.

SDV가 시간 제한을 보고하거나 유용한 결과를 반환하지 못하는 경우 몇 가지 SDV 구성 옵션을 변경해야 할 수 있습니다. SDV 문제를 해결하는 방법에 대한 자세한 내용은 정적 드라이버 검증 도구 문제 해결을 위한 권장 사항을 참조하세요.

정적 드라이버 검증 도구가 드라이버 또는 라이브러리를 지원하는지 확인

함수 역할 형식 선언 사용

정적 드라이버 검증 도구 규칙

코드 분석 도구