Windows Driver Frameworks

Windows Driver Foundation（視窗驅動程式基礎，簡稱WDF），是微軟公司所提供的驅動程式開發技術的集合，包括Kernel-Mode Driver Framework（核心模式驅動程式架構，KMDF）、User-Mode Driver Framework（使用者模式驅動程式架構，UMDF）以及PREfast plug-in for Drivers（PFD），目的是要改善目前Windows平台的驅動程式品質，可支援Windows 2000、Windows XP、Windows Server 2003、Windows Vista，以及更新的作業系統上之最新驅動程式架構。WDF架構提供了非同步輸入輸出、分層式驅動程式、隨插即用（PNP）、電源管理（Power Manager），以及視窗管理規範（Windows Management Instrumentation，WMI）等功能。

User-Mode Driver Framework

使用者模式驅動程式框架（User-Mode Driver Framework）是核心模式驅動程式框架（Kernel-Mode Driver Framework）的子集合，提供隨插即用（PNP）、電源管理（Power Manager）、非同步輸出輸入等功能。

PREfast

詳見PREfast
PREfast（Prefast.exe）是靜態的原始碼分析工具（static source code analysis tool），可偵測原始程式碼中不易用一般編譯器找到的特定類型錯誤，目前已整合至Visual Studio 2005 Team Suite中，使用時只要設定‘Enable Code Analysis For C/C++’為Yes即可。

PREfase的工作

• 變數未初始化

void init() {
    int a;
    int b;
    b = a;
}

• 運算元優先權的問題

void priority() {
    int a = 1;
    int b = 1;
    int c = 1;
    if(a & b == c)
       return ;
}

• 記憶體溢位問題

void overrun() {
     char buf[100];
    char buf2[200];
    int  i = 100;

    sprintf(buf, "size%d" , i);
    strcpy(buf, buf2);
}

Kernel-Mode Code Signing Walkthrough

微軟提供測試時期的類別簽章認證，可以讓使用者產生所需要的CER檔與CAT檔。

• 產生一個cat檔

 MakeCat -v Good.cdf

• 產生cat檔簽證

SignTool sign /v /ac CrossCertificateFile /s SPCCertificateStore /n SPCSubjectName /t
http://timestamp.verisign.com/scripts/timestamp.dll Good.cat

• 安裝簽證過的cat檔

CryptCATAdminAddCatalog

相關條目

• Windows Driver Model

外部連結

Kernel-Mode Code Signing Walkthrough