C++静态代码分析PreFast

发表于:2014-9-05 10:57

字体: | 上一篇 | 下一篇 | 我要投稿

 作者:酷熊    来源:51Testing软件测试网采编

  1、历史
  Prefast是微软研究院提出的静态代码分析工具。主要目的是通过分析代码的数据和控制信息来检测程序中的缺陷。需要强调的是,Prefast检测的缺项不仅仅是安全缺陷,但是安全缺陷类型是其检测的最为重要的部分。Prefast推出后在微软内部得到了广泛的使用,并经历了若干格版本的升级。现在,微软将这个内部工具商业化,以提供给外部的开发人员使用。
  2、如何获得Prefast
  目前有两个办法可以获得Prefast工具。
  Prefast包括在Visual Studio 2005 /2008的团队版本(team edition)中。
  Prefast包括在Windows驱动程序开发包(Microsoft Windows Driver Kits)的开发环境中。
  3、使用Prefast
  在Visual Studio的团队版本中,使用Prefast,打开Project Properties --> Configuration Properties --> Code Analysis -->Enable Code Analysis For C/C++ on build。选择 Yes(/analyze)即可。
《2023软件测试行业现状调查报告》独家发布~

关注51Testing

联系我们

快捷面板 站点地图 联系我们 广告服务 关于我们 站长统计 发展历程

法律顾问:上海兰迪律师事务所 项棋律师
版权所有 上海博为峰软件技术股份有限公司 Copyright©51testing.com 2003-2024
投诉及意见反馈:webmaster@51testing.com; 业务联系:service@51testing.com 021-64471599-8017

沪ICP备05003035号

沪公网安备 31010102002173号