Prefast使用心得

最新推荐文章于 2021-02-09 10:55:53 发布

转载最新推荐文章于 2021-02-09 10:55:53 发布 · 106 阅读

0 ·

CC 4.0 BY-SA版权

原文链接：http://blog.51cto.com/laokaddk/124714

Prefast是Ms开发的一个测试驱动代码的小工具,

它的作用是尽早找出代码中常的BUG.

在编译时参与进来查找BUG.

使用方法:

1.开始->程序->Windows Driver kits->Build Enviroments->找到具体编译enviroments

2.进入你的项目所有在文件夹

3.在命令行中输入:

prefast build -cz

4.等待编译完成

5.在命令行中输入:

prefast view

6.可以看到一些Warning

这样处理后可以早发现问题

提高代码质量.

HaHah 爽吧

转载于:https://blog.51cto.com/laokaddk/124714

确定要放弃本次机会？

福利倒计时

: :

立减 ¥

普通VIP年卡可用

立即使用

weixin_34266504

关注关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
分享

复制链接

分享到 QQ

分享到新浪微博

扫一扫
举报

举报

WDK中的Prefast工具使用

Computer Science

01-13

4078

如何使用PREfast 你可以使用PREfast来分析内核模式的驱动(KMDF)和其他内核模式的组件。你也可以使用PREfast来分析用户模式的驱动，即UMDF。PREfast是WDK自带的，你不需要自己再次安装。默认情况下， PREfast是根据KMDF的规则来分析代码的。为了能够分析UMDF，你必须设置分析模式为__user_driver，详情见 “如何指定PREfast分析模式”, 或者更简单的方式是，直接忽略内核相关的警告. 如何指定PREfast 分析模式 PREfast分析模式决定了它

prefast 使用

sunliangyuan的专栏

10-03

2869

1. 概述在前面的安全编码实践的文章里，我们讨论了GS编译选项和数据执行保护DEP功能。结论是GS和DEP可以有效的缓解缓存溢出类型的安全漏洞的危害。关于这个结论，有两个大家需要值得注意的地方。第一：GS和DEP是缓解（mitigation）措施。也就是说，代码本身仍然存在着安全漏洞，只是由于GS和DEP降低了其危害程度。第二：GS和DEP存在其自身

参与评论您还未登录，请先登录后发表或查看评论

C++代码静态分析工具-Prefast

jiangqin115的专栏

02-09

967

1. 什么是Prefast Prefast是一种代码分析工具，它能够帮助你找到编译器不能找到的错误或者缺陷。Prefast首次被微软集成到Visual Studio 2005 Team Suite中去，使用起来非常方便。2.怎么使用Prefast 在vs2005 Team Suite中，使用Prefast非常简单。修改你的工程属性，设置Enable Code Analysis For C/C++为Yes. 效果: 注意到有可能错误的地方以浅灰色显示在编辑器中了。 3.Prefast能帮你找到哪些错误 1

C++静态代码分析PreFast

12-22

1、历史　　Prefast是微软研究院提出的静态代码分析工具。主要目的是通过分析代码的数据和控制信息来检测程序中的缺陷。需要强调的是，Prefast检测的缺项不仅仅是安全缺陷，但是安全缺陷类型是其检测的为重要的部分。Prefast推出后在微软内部得到了广泛的使用，并经历了若干格版本的升级。现在，微软将这个内部工具商业化，以提供给外部的开发人员使用。　　2、如何获得Prefast 　　目前有两个办法可以获得Prefast工具。　　Prefast包括在Visual Studio 2005 /2008的团队版本（team edition）中。　　Prefast包括在Windows驱

安全编码实践三：C/C++静态代码分析工具Prefast

今夜雨

03-30

1870

概述在前面的安全编码实践的文章里，我们讨论了GS编译选项和数据执行保护DEP功能。结论是GS和DEP可以有效的缓解缓存溢出类型的安全漏洞的危害。关于这个结论，有两个大家需要值得注意的地方。第一：GS和DEP是缓解（mitigation）措施。也就是说，代码本身仍然存在着安全漏洞，只是由于GS和DEP降低了其危害程度。第二：GS和DEP存在其自身的局限性。例如，GS不是对每一个函数都适用，而DEP则需要一定的硬件支持。那么，一个很自然的问题就

vc2005 prefast

08-28

c++代码静态检查的利器！告别程序调试。

PREfast_annotations.pdf

03-23

无论是Windows Server 2008、Windows Vista还是早期的Windows版本，PREfast都能提供有力的支持，前提是开发者遵循注解的使用规则和最佳实践。最后，值得注意的是，PREfast的驱动程序专用注解要求WDK构建版本6001或更...

prefast(微软的C++代码检测工具)

05-10

从WinDDK提取而来： 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）。资源：没能即时释放资源。函式使用方式：不正确的函式引数、使用某个过时函式的情况。浮点运算状态优先执行规则核心模式程式安全性考量

VS 2008中的C/C++静态代码分析工具Prefast

热门推荐

clever101的专栏

07-03

1万+

从褚诚云博客上知道了Visual Studio 2005 /2008的团队版本上集成了一个C/C++静态代码分析工具Prefast，特地测试了一下，果然不错。

Prefast

井底之蛙

01-08

2265

Prefast是微软研究院提出的静态代码分析工具。主要目的是通过分析代码的数据和控制信息来检测程序中的缺陷。需要强调的是，Prefast检测的缺项不仅仅是安全缺陷，但是安全缺陷类型是其检测的最为重要的部分。Prefast推出后在微软内部得到了广泛的使用，并经历了若干格版本的升级。现在，微软将这个内部工具商业化，以提供给外部的开发人员使用。它能够帮助你找到编译器不能找到的错误或者

sys文件生成

coderli的专栏

09-20

4679

目录: ☆ 概述 ☆ 编写hello.c文件 ☆ 编写dirs文件 ☆ 编写sources文件 ☆ 编写makefile文件 ☆ 编译产生hello.sys文件 ☆ 编写hello.inf文件 ☆ 安装hello.inf文件 ☆ 卸载hello.sys及相关设置 ☆ 察看KdPrint输出 ☆ 使用DriverMonitor

#pragma prefast

爱杀之爪的矩阵

05-09

3082

看懂好多的ddk中的源码都有这个，搞不清楚到底是啥？查询ddk。可知类似这样的#pragma prefast(suppress: __WARNING_POTENTIAL_BUFFER_OVERFLOW, "Ndis guarantees MediumIndex to be within bounds"); 应该是一个宏定义You can also define a mac

XP系统安装WDK

W_CCSSDDNN的博客

12-30

683

XP系统安装WDK 在XP系统安装WDK7.1.0，装的脑袋疼；最后还是得慢慢的找提示错误日志；效率高官网下载的文件，解压后安装，在编译后依然出现错误，根据网上进行重新下载后，还是不能够进行解决；最后还是自己搞吧；具体安装过程如下：还是在官网下载WDK安装包；解压安装、安装完成后肯定是不成功的，修改方法有以下：，如果以下方法不能解决，可能是安装包不是在官网下载的，重新从官网进行下载；选择W...

驱动开发起步

小发猫

10-15

2552

驱动开发起步看了近半个月的书，有了一小点的进步。主要是熟悉了一下驱动开发的环境和配置，USB的协议传输等等。下面是这段时间的体会。以开发一个简单的"hello world"为例。1、先装VC，然后装DDK，我装的是2000DDK，这个顺序不要弄反。2、配置好环境（1）在setting->link->libary modules添加ntoskrnl.lib hal.lib usbd.lib wdm.