CPAchecker

cpachecker.sosy-lab.orgsite

A tool for configurable software verification of C programs. The name CPAchecker was chosen to reflect that the tool is based on the CPA concepts and is used for checking software programs.

from

Static Analysis & Code Quality

added

2026-10-10

likes

0

similar

1. ▲

   CodeChecker github.com

   An analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang-Tidy. [Apache-2.0]

   tool topic programming link ↗
   
2. ▲

   Cppcheck cppcheck.sourceforge.net

   A tool for static C/C++ code analysis. - source

   site link ↗
   site
3. ▲

   cppcheck github.com

   Static analysis of C/C++ code.

   tool link ↗
   
4. ▲

   codechecker codechecker.readthedocs.io

   A defect database and viewer extension for the Clang Static Analyzer with web GUI.

   site topic programming link ↗
   site
5. ▲

   AppChecker npo-echelon.ru

   copyright: — Static analysis for C/C++/C#, PHP and Java.

   site link ↗
   site
6. ▲

   cppcheck cppcheck.sourceforge.io

   Static analysis of C/C++ code.

   site link ↗
   site

Static Analysis & Code Quality › Programming Languages: “A tool for configurable software verification of C programs. The name CPAchecker was chosen to reflect that the tool is based on the CPA concepts and is used for checking software programs.”