程序静态分析的著名的静态分析工具

Meta-Compilation（Coverity）

由Stanford大学的Dawson Engler副教授等研究开发，该静态分析工具允许用户使用一种称作metal的状态机语言编写自定义的时序规则，从而实现了静态分析工具的可扩展性。MC的实际效果非常优秀，号称在Linux内核中找出来数百个安全漏洞。MC目前已经商业化，属于Coverity Inc.2014年被Synopsys收购。目前学术领域比较认可的静态分析工具，其技术处于领先地位。

mygcc 由一个法国人N. Volanschi开发，其思想来源于MC，试图将自定义的错误检测集成到编译时。

Klocwork

国内用的最为广泛的静态分析工具，由加拿大北电于1996年研发，是中国最早的能够检测语义缺陷的静态分析工具。截止到2015年其版本号为V10,也就是大家常说的K10

LDRA Testbed

英国的编码规则类检测工具，前身为Liverpool大学开发，能够支持C/C++数千种条目的规则检测，包括MISRA C/C++, GJB5369等，是最早进入中国市场的静态分析工具，在军队、军工广泛使用，但其技术仅支持风格类检测，无法进行语义缺陷分析，导致一些常用的运行时缺陷无法发现或者较高误漏报，由此市场占有率逐步下降。截止到2015年其版本号为9.5

HP Fortify

美国HP公司的支持安全漏洞类的检测工具，能够检测C/C++/Java/PHP/ASP/JavaScript等多种语言，数千种检测项，是国内使用最为广泛的静态分析工具。但该工具整体的误报漏报率较高，虽然支持很多种安全漏洞，但需要用户做很多的二次开发工作。

Cobot(库博)

北京大学软件工程中心研发的静态分析工具，能够支持编码规则，语义缺陷的程序分析，能够支持C/C++数千条规则和缺陷的检测，是我国唯一可以称的上是静态分析产品的商业化工具。由于其自主知识产权，对国内的 *** 作系统，编码标准支持的较好，检测精度也基本与上述工具持平，所以也得到了很多用户的认可。

Parasoft C++Test

美国Parasoft公司研发的支持C、C++静态分析的工具，该工具除了可以检测编码规则外，还能检测少量的语义缺陷，此外能够进行测试用例生成。

Parasoft白盒测试工具集

Jtest Java 代码分析和动态类、组件测试

Jcontract Java 实时性能监控以及分析优化

C++ Test C,C++ 代码分析和动态测试

CodeWizard C,C++ 代码静态分析

Insure++ C,C++ 实时性能监控以及分析优化

其它公司

.test .Net 代码分析和动态测试

logiscope c/c++ Verlog公司的静态、动态分析工具

还有testbed、Cantata c/c++等

Rational工具集中的puricoverage和purify、quantify

Compuware白盒测试工具集

BoundsChecker C++,Delphi API和OLE错误检查、指针和泄露错误检查、内存错误检查

TrueTime C++,Java,Visual Basic 代码运行效率检查、组件性能的分析

FailSafe Visual Basic 自动错误处理和恢复系统

Jcheck M$ Visual J++ 图形化的纯种和事件分析工具

TrueCoverage C++,Java,Visual Basic 函数调用次数、所占比率统计以及稳定性跟踪

SmartCheck Visual Basic 函数调用次数、所占比率统计以及稳定性跟踪

CodeReview Visual Basic 自动源代码分析工具

Xunit白盒测试工具集

Aunit Ada http://www.libre.act-europe.fr

CppUnit C++ http://cppunit.sourceforge.net

ComUnit VB,COM http://comunit.sourceforge.net

Dunit Delphi http://dunit.sourceforge.net

DotUnit .Net http://dotunit.sourceforge.net

HttpUnit Web http://c2.com/cgi/wiki?HttpUnit

HtmlUnit Web http://htmlunit.sourceforge.net

Jtest Java http://www.junit.org

JsUnit(Hieatt) javascript 1.4以上 http://www.jsunit.net

PhpUnit Php http://phpunit.sourceforge.net

PerlUnit Perl http://perlunit.sourceforge.net

XmlUnit Xml http://xmlunit.sourceforge.net

DUnit .net

JUnit java