| 工具名 |
靜態(tài)掃描語言 |
開源/付費(fèi) |
廠商 |
介紹 |
主頁網(wǎng)址 |
| ounec5.0 |
VB.Net、C、C++和C#，
還支持Java。 |
付? 費(fèi) |
Ounce Labs |
\ |
http://www.ouncelabs.com/ |
| Coverity Prevent |
C/C++,C#,JAVA |
付費(fèi) |
Coverity |
還有其他輔助工具：
1.Coverity Thread Analyzer for Java
2.Coverity Software Readiness Manager for Java
3.Coverity Architecture Analyzer |
http://www.coverity.com/index.html |
@stake SmartRisk?
Analyzer |
C/C++,Java |
付費(fèi) |
Symantec
Corporation |
@stake SmartRisk? Analyzer harnesses the power of
static analysis of binary executables (C, C++, and Java) to
identify, categorize and prioritize security。
注：在Symantec沒有搜到此產(chǎn)品？！ |
http://www.symantec.com/business/index.jsp |
| Rational Purify |
C/C++,Java |
付費(fèi) |
IBM |
Provides memory leak and memory corruption detection for
Windows，Runtime?! |
http://www-01.ibm.com/software/awdtools/purify/ |
| PREfix |
\ |
\ |
microsoft |
微軟用的靜態(tài)分析工具，但暫時(shí)沒有找到下載,
現(xiàn)在好像在考慮發(fā)布中! |
\ |
| Jtext |
Java |
付費(fèi) |
parasoft |
同時(shí)還有其他靜態(tài)分析代碼的產(chǎn)品，如:C++Test...
詳細(xì)請查詢官網(wǎng) |
http://www.parasoft.com/jsp/cn/support.jsp |
| flawfinder |
C/C++ |
開源 |
\ |
用Python編寫的c、c++程序安全審核工具，
可以檢查潛在的安全風(fēng)險(xiǎn)。 |
http://www.dwheeler.com/flawfinder/ |
Static Code
Analyzer |
C/C++,C#,JAVA |
付費(fèi) |
Fortify |
\ |
http://www.fortify.com/ |
| Klocwork Insight |
C/C++ ,Java |
付費(fèi) |
Klocwork |
\ |
http://www.klocwork.com/products/insight.asp |
PolySpace
Client/Server |
C/C++、Ada語言 |
付費(fèi) |
MathWorks |
\ |
http://www.mathworks.cn/ |
| rats |
C/C++, Python,
Perl,
PHP代碼進(jìn)行安全審核的工具 |
開源 |
\ |
\ |
http://www.fortify.com/security-resources/rats.jsp |
| LAPSE |
Java |
開源 |
\ |
LAPSE stands for a Lightweight Analysis for Program
Security in Eclipse. LAPSE is designed to help with
the task of auditing Java J2EE applications for common
types of security vulnerabilities found in Web applications.
LAPSE was developed by Benjamin Livshits as part of the
Griffin Software Security Project. |
http://www.owasp.org/index.php/Category:OWASP_LAPSE_Project |
| Fluid |
java |
開源 |
\ |
We have explored properties including:
? ? * race conditions and locking policies,
? ? * unique references and other programmer-significant
aliasing properties,
? ? * effects,
? ? * appropriate typing,
? ? * realtime threading policies, and
? ? * single-threading policies. |
http://www.fluid.cs.cmu.edu:8080/Fluid |
| Splint |
C |
開源 |
University of
Virginia,
Department of
Computer
Science |
靜態(tài)檢測針對C語言的安全工具和漏洞檢測。 |
http://www.splint.org/ |
| cqual |
C/C++ |
開源 |
馬里蘭大學(xué) |
輕量級的靜態(tài)掃描器，在類Linux系統(tǒng)下運(yùn)行。 |
http://www.cs.umd.edu/~jfoster/cqual/ |
| MOPS |
C |
開源 |
berkeley大學(xué) |
MOPS is a tool for finding security bugs in C programs
and for verifying conformance to rules of defensive programming |
http://www.cs.berkeley.edu/~daw/mops/ |
| BOON |
C |
開源 |
berkeley大學(xué) |
BOON is a tool for automatically finding buffer overrun
vulnerabilities in C source code. Buffer overruns are one
of the most common types of security holes, and we hope
that BOON will enable software developers and code auditors
to improve the quality of security-critical programs. |
http://www.cs.berkeley.edu/~daw/boon/ |
| BLAST |
C |
開源 |
The BLAST
2.0 Team |
BLAST is a software model checker for C programs.?
The goal of BLAST is to be able to check that software
satisfies behavioral properties of the interfaces it uses.
BLAST uses counterexample-driven automatic abstraction
refinement to construct an abstract model which is model
checked for safety properties. The abstraction is constructed
on-the-fly, and only to the required precision. |
http://mtc.epfl.ch/software-tools/blast/ |
| SpikeWAMP |
Php |
開源 |
\ |
for analyzing PHP programs |
http://developer.spikesource.com/wiki/index.php/SpikeWAMP |
| Pixy |
Php |
開源 |
\ |
Finding XSS and SQLI vulnerabilities |
http://pixybox.seclab.tuwien.ac.at/pixy/ |
| Mike |
Java |
開源 |
\ |
Java source code security scanner built on top of Orizon.
They are connected to OWASP. |
http://milk.sourceforge.net/download.html |
| Smatch |
C |
開源 |
\ |
\ |
http://smatch.sourceforge.net/ |
| Oink |
C++ |
開源 |
\ |
C++ Static Analysis Tools |
http://www.cubewano.org/oink |
| Frama-C |
C |
開源 |
\ |
static analyzers for the C language. |
http://frama-c.cea.fr/ |
| RTL-check |
\ |
開源 |
\ |
RTL-check is an extensible and powerful abstract interpretation
framework for static analysis of programs from a safety and
security perspective |
http://rtlcheck.sourceforge.net/ |
| PMD |
Java |
開源 |
\ |
PMD scans Java source code and looks for potential problems like:
? ? * Possible bugs - empty try/catch/finally/
switch statements
? ? * Dead code - unused local variables, parameters
and private methods
? ? * Suboptimal code - wasteful String/StringBuffer usage
? ? * Overcomplicated expressions - unnecessary if statements,
for loops that could be while loops
? ? * Duplicate code - copied/pasted code means copied/pasted bugs |
http://pmd.sourceforge.net/ |
| FindBugs |
Java |
開源 |
馬里蘭大學(xué) |
uses static analysis to look for bugs in Java code.
注意：提供Eclipse插件。 |
http://findbugs.sourceforge.net/ |
| ITS4 |
C\C++ |
開源 |
\ |
Cigital developed ITS4 to help automate source code
review for security. |
http://www.cigital.com/its4/ |
| QJ-Pro |
Java |
開源 |
\ |
QJ-Pro is a comprehensive software inspection tool targeted
towards the software developer.
QJ-Pro checks:
? ? * conformance to coding standards,
? ? * misuse of the Java language,
? ? * best practice conformence
? ? * code structure and
? ? * potential bugs at the earliest stages of development.
注意：提供各種IDE插件！ |
http://qjpro.sourceforge.net/ |
| Jint |
Java |
開源 |
\ |
Jlint will check your Java code and find bugs, inconsistencies
and synchronization problems by doing data flow analysis and
building the lock graph. |
http://artho.com/jlint/ |
| Hammurapi |
Java |
開源 |
\ |
code review system captures coding best practices and delivers
them to developers' fingertips. It also generates consolidated
reports for lead developers, architects, and managers to
monitor codebase quality and evolution. |
http://www.hammurapi.biz/hammurapi-biz/ef/xmenu/hammurapi-group/index.html |
| DoctorJ |
Java |
開源 |
\ |
Among what it detects:
? ? * misspelled words
? ? * parameter and exception names:
? ? ? ? ? o missing
? ? ? ? ? o misordered
? ? ? ? ? o misspelled
? ? * Javadoc tags:
? ? ? ? ? o invalid
? ? ? ? ? o misordered
? ? ? ? ? o missing expected arguments
? ? ? ? ? o invalid arguments
? ? ? ? ? o missing descriptions
? ? * undocumented classes, methods, fields,
parameters |
http://www.incava.org/projects/java/doctorj/index.html |
| Dependency Finder |
Java |
開源 |
\ |
Dependency Finder is a suite of tools for analyzing
compiled Java code. At the core is a powerful dependency
analysis application that extracts dependency graphs and
mines them for useful information. This application comes
in many forms for your ease of use, including command-line
tools, a Swing-based application, a web application ready
to be deployed in an application server, and a set of Ant
tasks. |
http://depfind.sourceforge.net/ |
| Checkstyle |
Java |
開源 |
\ |
Checkstyle is a development tool to help programmers
write Java code that adheres to a coding standard.
It automates the process of checking Java code to spare
humans of this boring (but important) task. This makes
it ideal for projects that want to enforce a coding standard.
注意：提供多種IDE的插件。 |
http://checkstyle.sourceforge.net/ |
| Classycle |
Java |
開源 |
\ |
Classycle's Analyser analyses the static class and package
dependencies in Java applications or libraries. |
http://classycle.sourceforge.net/ |
| JDepend |
Java |
開源 |
\ |
JDepend traverses Java class file directories and generates
design quality metrics for each Java package.
JDepend allows you to automatically measure the quality
of a design in terms of its extensibility, reusability,
and maintainability to manage package dependencies effectively. |
http://www.clarkware.com/software/JDepend.html |
| JCSC |
Java |
開源 |
\ |
JCSC is a powerful tool to check source code against a highly
definable coding standard and potential bad code. |
http://jcsc.sourceforge.net/ |