Prefast

最新推荐文章于 2019-06-22 11:39:25 发布
最新推荐文章于 2019-06-22 11:39:25 发布
阅读量2.2k 收藏
点赞数
文章标签： microsoft 代码分析 windows 程序开发 微软 编译器
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/better0332/article/details/3734037
版权

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

 

它能够帮助你找到编译器不能找到的错误或者缺陷。

  • Prefast包括在Visual Studio 2005 /2008的团队版本（team edition）中。
  • Prefast包括在Windows驱动程序开发包（Microsoft Windows Driver Kits）的开发环境中。

more detail:

http://blog.csdn.net/chengyun_chu/archive/2008/08/05/2768482.aspx

http://www.cppblog.com/sandy/archive/2006/03/28/4689.html
better0332
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
WDK中的Prefast工具使用
Computer Science
01-13 4023
如何使用PREfast 你可以使用PREfast来分析内核模式的驱动(KMDF)和其他内核模式的组件。你也可以使用PREfast来分析用户模式的驱动，即UMDF。PREfast是WDK自带的，你不需要自己再次安装。 默认情况下， PREfast是根据KMDF的规则来分析代码的。为了能够分析UMDF，你必须设置分析模式为__user_driver，详情见 “如何指定PREfast分析模式”, 或者更简单的方式是，直接忽略内核相关的警告. 如何指定PREfast 分析模式 PREfast分析模式决定了它
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）。 资源：没能即时释放资源。 函式使用方式：不正确的函式引数、使用某个过时函式的情况。 浮点运算状态 优先执行规则 核心模式程式安全性考量
#pragma prefast
爱杀之爪的矩阵
05-09 3014
看懂好多的ddk中的源码都有这个，搞不清楚到底是啥？ 查询ddk。可知类似这样的#pragma prefast(suppress: __WARNING_POTENTIAL_BUFFER_OVERFLOW, "Ndis guarantees MediumIndex to be within bounds"); 应该是一个宏定义You can also define a mac
C++代码静态分析工具-Prefast
weixin_33973600的博客
04-30 101
Prefast是一种代码分析工具，它能够帮助你找到编译器不能找到的错误或者缺陷。Prefast首次被微软集成到Visual Studio 2005 Team Suite中去，使用起来非常方便vc6中使用Prefast的方法: prefast是附带在微软的DDK中的 In VC6 project 1. Install Windows IFS Kit and DDK package 2. Execut...
C++静态代码分析PreFast
12-22
**C++静态代码分析PreFast** 是一种由微软研究院开发的静态分析工具，主要用于在编译阶段检测C++代码中的潜在缺陷。静态代码分析是一种在程序执行前进行的检查，通过对源代码的数学模型进行分析，查找可能存在的错误...
vc2005 prefast
08-28
c++代码静态检查的利器！告别程序调试。
Program Analysis with PREfast & SAL - Slides (3_StaticAnalysisPREfast)-计算机科学
04-22
Software SecurityProgram Analysis with PREfast & SALErik PollDigital Security groupRadboud University Nijmegen1static analysis aka source code analysis aka …Automated analysis at compile time to find...
#pragma预处理指令详解
01-13
#pragma预处理指令详解,对#pragma的一些应用做了一些介绍，希望对你有帮助
prefast 使用
sunliangyuan的专栏
10-03 2737
1. 概述    在前面的安全编码实践的文章里，我们讨论了GS编译选项和数据执行保护DEP功能。 结论是GS和DEP可以有效的缓解缓存溢出类型的安全漏洞的危害。关于这个结论，有两个大家需要值得注意的地方。    第一：GS和DEP是缓解（mitigation）措施。也就是说，代码本身仍然存在着安全漏洞，只是由于GS和DEP降低了其危害程度。    第二：GS和DEP存在其自身
prefast
fengkuangfj的专栏
12-30 618
使用prefast build -cz编译驱动可以检查驱动缺陷 使用prefast view可以查看检查出来的驱动缺陷
#pragma 预处理指令详解
一条二哈
06-22 412
#pragma 预处理指令详解 #pragma 指令对每个编译器给出了一个方法，在保持C和C++语言完全兼容的情况下，给出了主机或操作系统专有的特征。 其格式一般是 #pragma para ，其中para 是参数。 message 参数 它能够在编译窗口中输出相应的信息，这对于源代码的控制是非常重要的。 使用方法 #pragma message("消息文本") 当编译器遇到这条指令时，就在...
#pragma的作用
weixin_30786617的博客
06-11 99
#pragma The #pragma command gives the programmer the ability to tell the compiler to do certain things. Since the #pragma command is implementation specific, uses vary from compiler to compiler. One ...
Minifilter过滤,功能实现对驱动目录的监控,包括创建,重命名,删除并实现hips
热门推荐
zhuhuibeishadiao
05-02 1万+
注意下：我的这套过滤只能用在nt6系统上 原因是使用一个nt6上才有的函数 见函数 PsGetProcessFullName 其实没必要自己来写获取全路径 因为minifilter已经给我们提供了获取全路径的函数 FltGetFileNameInformation 我就不改了，哈哈 说说遇到的问题吧 在监控创建的时候,我在卸载post中的,我拒绝后,在弹窗,2-3
Prefast：C++代码静态分析利器
"C++代码静态分析工具-Prefast" Prefast是C++开发中的一个强大的静态分析工具，它由微软开发并集成在Visual Studio 2005 Team Suite中，目的是帮助开发者在编译阶段发现潜在的编程错误和缺陷，这些错误在编译器...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值