1历史 Prefast是微软研究院提出的静态代码分析工具。主要目的是通过分析代码的数据和控制信息来检测程序中的缺陷。需要强调的是,Prefast检测的缺项不仅仅是安全缺陷,但是安全缺陷类型是其检测的最为重要的部分。Prefast推出后在微软内部得到了广泛的使用,并经历了若干格版本的升级。现在,微.....
分类:
编程语言 时间:
2014-08-29 17:54:58
阅读次数:
296
简介:本文首先介绍了静态代码分析的基本概念及主要技术,随后分别介绍了现有 4 种主流 Java 静态代码分析工具 (Checkstyle,FindBugs,PMD,Jtest),最后从功能、特性等方面对它们进行分析和比较,希望能够帮助 Java 软件开发人员了解静态代码分析工具,并选择合适的工具应用...
分类:
编程语言 时间:
2014-07-19 11:37:23
阅读次数:
374
一、定义
StyleCop是微软的一个开源的静态代码分析工具,检查c#代码一致性和编码风格。
二、支持的环境。
JetBrains R# 5.1.3 ( 5.1.3000.12)
JetBrains R# 6.0 (6.0.2202.688)
JetBrains R# 6.1 (6.1.37.86)
JetBrains R# 6.1.1 (6.1.1000.82)
JetBrains...
分类:
其他好文 时间:
2014-05-10 09:49:14
阅读次数:
354