静的コード解析
Fortify SCA (商用)
Klocwork Insight (商用)
LDRA MISRA主要メンバ(商用)
MOPS (BSD風ライセンス)
OpenC++
QAC,QAC++ (商用)
富士通ソフトウェア PGRelief C/C++ (商用)
PMD's Copy/Paste Detector (BSD風ライセンス)
PolySpace (商用)
PREfast - Windows用のデバイスドライバを開発するのに使用するWDKの一部
Review-C (商用)
Smatch - C言語ソースチェッカー。主にLinuxカーネル用。
Sparse (GPL)
Stacktool
Splint (GPL)
Visual Studio
Clang Static Analyzer (BSD風ライセンス)
Clang-Tidy
AdLint (GPL)
Sider (商用)
SonarQube
Sider(商用)
Checkmarx CxSuite (商用)
Fortify SCA (商用)
Parasoft WebTest (商用)
SonarQube
ESLint(英語版)