dmott-eyelock Goto Github PK

cbmc

C Bounded Model Checker

cmetrics

CMetrics measures size and complexity for C files

cobra

An interactive (fast) static source code analyzer

codechecker

CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy

cppinclude

Tool for analyzing includes in C++

dotnet-vcxproj

Enabling "dotnet build" to compile and build C/C++ projects. MSBuild task for compiling Visual Studio C/C++ projects (.vcxproj) with your choice of compiler on Linux or Windows or Mac!

flintplusplus

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

ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

include-what-you-use

A tool for use with clang to analyze #includes in C and C++ source files

joern

Open-source code analysis platform for C/C++/Java based on code property graphs

lizard

A simple code complexity analyser without caring about the C/C++ header files or Java imports, supports most of the popular languages.

opencppcoverage

OpenCppCoverage is an open source code coverage tool for C++ under Windows.

openrace

Open source implementation of the Coderrect Scanner core race detection functionality.

phasar

A LLVM-based static analysis framework.

qt

forked Qt 4.8 with wkhtmltopdf-specific patches

rough-auditing-tool-for-security

Automatically exported from code.google.com/p/rough-auditing-tool-for-security

sonar-cxx

SonarQube C++ Community plugin (cxx plugin): This plugin adds C++ support to SonarQube with the focus on integration of existing C++ tools.

splint

Splint - annotation-assisted static program checker

svf

Static Value-Flow Analysis Framework for Source Code

vera

A programmable tool for verification, analysis and transformation of C++ source code

wkhtmltopdf

wtf

Windows Template Framework

xtl

eXtended Template Library