Prefast使用心得

最新推荐文章于 2021-02-09 10:55:53 发布
最新推荐文章于 2021-02-09 10:55:53 发布
阅读量875 收藏
点赞数
分类专栏： WinCE 文章标签： build 工具 测试
Prefast是Ms开发的一个测试驱动代码的小工具,
它的作用是尽早找出代码中常的BUG.
在编译时参与进来查找BUG.
 
使用方法:
1.开始->程序->Windows Driver kits->Build Enviroments->找到具体编译enviroments
2.进入你的项目所有在文件夹
3.在命令行中输入:
   prefast build -cz
 
4.等待编译完成
5.在命令行中输入:
  prefast view
6.可以看到一些Warning
这样处理后可以早发现问题
提高代码质量.
 
HaHah  爽吧
WDK中的Prefast工具使用
Computer Science
01-13 4079
如何使用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 968
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 1871
概述 在前面的安全编码实践的文章里，我们讨论了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 4680
 目录:    ☆ 概述    ☆ 编写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 684
XP系统安装WDK 在XP系统安装WDK7.1.0，装的脑袋疼；最后还是得慢慢的找提示错误日志；效率高 官网下载的文件，解压后安装，在编译后依然出现错误，根据网上进行重新下载后，还是不能够进行解决；最后还是自己搞吧； 具体安装过程如下： 还是在官网下载WDK安装包；解压安装、安装完成后肯定是不成功的，修改方法有以下：，如果以下方法不能解决，可能是安装包不是在官网下载的，重新从官网进行下载； 选择W...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值