Category:Static program analysis tools

• List of tools for static code analysis

.

• .NET Reflector

A

• AbsInt
• Astrée (static analysis)
• Automated code review

B

• Bauhaus Project (computing)
• BLAST model checker

C

• C Bounded Model Checker
• Checkmarx
• Checkstyle
• Clang
• Coala (software)
• Coccinelle (software)
• CodePeer
• CodeScene
• CodeSonar
• ConQAT
• Coverity
• CPAchecker
• Cppcheck
• Cppdepend
• Cpplint
• Cscope

D

• Daikon (system)
• DMS Software Reengineering Toolkit

E

• ECLAIR
• ESC/Java
• ESLint
• Extended static checking

F

• FindBugs
• Fluctuat
• Fortify Software
• Frama-C
• FxCop

G

• GrammaTech

H

• Hermes (programming language)

I

• Imagix 4D

J

• JArchitect
• JSHint
• JSLint
• Jtest

K

• Klocwork

L

• Lint (software)
• Liquid Haskell

M

• MALPAS Software Static Analysis Toolset

N

• NDepend

P

• Parasoft
• Parasoft C/C++test
• PC-Lint
• PerlTidy
• PMD (software)
• Polyspace
• PVS-Studio
• Pylint

Q

• Helix QAC
• Qodana

R

• Red Lizard Software
• RIPS

S

• Semgrep
• Semmle
• SOAtest
• SofCheck Inspector
• Software mining
• SonarQube
• Soot (software)
• SourceMeter
• Sourcetrail
• Sparse
• Splint (programming tool)
• StyleCop

T

• ThreadSafe
• TippingPoint

U

• Understand (software)

V

• Veracode
• VeriFlux
• Visual Expert

Y

• Yasca