PREFast for Drivers

PREfast（Prefast.exe）是微软公司为驱动程式设计所提供的静态的原始码分析工具（static source code analysis tool），可侦测原始程式码中不易用一般编译器找到的特定类型错误，与Windows DDK建置环境一同安装。目前已整合至Visual Studio 2005 Team Suite中，使用时只要设定‘Enable Code Analysis For C/C++’为‘Yes’即可，接下来PREfast会拦截cl编译器 (cl.exe) 的呼叫，产生由一次检查所有档案所得的单一联合清单，内容属于XML格式。

侦测错误类别：

记忆体：内存泄露（memory leak）。
资源：没能即时释放资源。
函式使用方式：不正确的函式引数、使用某个过时函式的情况。
浮点运算状态
优先执行规则
核心模式程式安全性考量

PREfast的工作

变数未初始化

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);
}

无穷回圈

void infinite_loop() {
    int i;
    for(i = 100 ; i >= 0 ; i ++ ) {
               ; 
    }
}

运算元误用

void  op_misuse() {
    int a = 2;
    if (a = 2)
       return ;
}

外部链接

PREfast的工作

相关条目

外部链接