Polyspace Code Prover

Astrée Static Analyzer for C and C++

Astr e is a static program analyzer that proves the absence of runtime errors and invalid concurrent behavior in safety critical applications written or generated in c or c

CBMC - Bounded model-checker for C programs, user-defined assertions, standard assertions, several coverage metric analyses.

Clang-Tidy — Extra Clang Tools 14 documentation

GitHub - KDE/clazy: Qt-oriented static code analyzer based on the Clang framework

Qt oriented static code analyzer based on the clang framework git hub kde clazy qt oriented static code analyzer based on the clang framework

GitHub - MetricsGrimoire/CMetrics: CMetrics measures size and complexity for C files

C metrics measures size and complexity for c files git hub metrics grimoire c metrics c metrics measures size and complexity for c files

CPAchecker: A Software Verification Tool for Configurable Program Analyses

Cp achecker a software verification tool for configurable program analyses

Cppcheck - A tool for static C/C++ code analysis

Cppcheck is an analysis tool for c c code it detects the types of bugs that the compilers normally fail to detect the goal is no false positives

CppDepend - Achieve higher C/C++ code quality.

Cpp depend is a static code analysis and code quality tool that empowers c and c architects and developers to make informed decisions when working with complex or legacy codebases

styleguide/cpplint at gh-pages · google/styleguide

Style guides for google originated open source projects styleguide cpplint at gh pages google styleguide

GitHub - dspinellis/cqmetrics: C Quality Metrics

C quality metrics contribute to dspinellis cqmetrics development by creating an account on git hub

CScout: The C Refactoring Browser

ESBMC

Flawfinder Home Page

David a wheeler s page for flawfinder

GitHub - JossWhittle/FlintPlusPlus: Flint++ is cross-platform, zero-dependency port of flint, a lint program for C++ developed and used at Facebook.

Flint is cross platform zero dependency port of flint a lint program for c developed and used at facebook git hub joss whittle flint plus plus flint is cross platform zero dependency por

Frama-C - Framework for Modular Analysis of C programs

Frama c an open source extensible and collaborative platform dedicated to source code analysis of c software

Helix QAC for C and C++ | Perforce

Helix qac is a static code analysis tool for c and c it has been the preferred static code analyzer in tightly regulated and safety critical industries that need to meet rigorous compliance requirements because of its depth and accuracy of the analysis learn more about helix qac

GitHub - NASA-SW-VnV/ikos: Static analyzer for C/C++ based on the theory of Abstract Interpretation.

Static analyzer for c c based on the theory of abstract interpretation git hub nasa sw vn v ikos static analyzer for c c based on the theory of abstract interpretation

Joern - The Bug Hunter’s Workbench

The bug hunter s workbench

LDRA are market leaders in verification and software quality tools

For over 40 years ldra has lead the market with software quality tools that automate code analysis for safety critical and security critical applications

Gimpel Software - The Leader in Static Analysis for C and C++ with PC-lint Plus

Phasar.org – A LLVM-based static analysis framework

Polyspace Bug Finder

Use polyspace bug finder to identify software bugs via static analysis

scan-build: running the analyzer from the command line

Splint Home Page

Splint home page

SVF:Pointer Analysis for C and C++

verateam / vera++ / wiki / Introduction — Bitbucket