-
OpenRace Public
Forked from jtao/OpenRaceOpen source implementation of the Coderrect Scanner core race detection functionality.
LLVM GNU Affero General Public License v3.0 UpdatedJun 8, 2021 -
-
codechecker Public
Forked from Ericsson/codecheckerCodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
Python Apache License 2.0 UpdatedJun 8, 2021 -
sonar-cxx Public
Forked from SonarOpenCommunity/sonar-cxxSonarQube C++ Community plugin (cxx plugin): This plugin adds C++ support to SonarQube with the focus on integration of existing C++ tools.
Java GNU Lesser General Public License v3.0 UpdatedJun 7, 2021 -
SVF Public
Forked from SVF-tools/SVFStatic Value-Flow Analysis Framework for Source Code
C++ Other UpdatedJun 5, 2021 -
joern Public
Forked from joernio/joernOpen-source code analysis platform for C/C++/Java based on code property graphs
Scala Apache License 2.0 UpdatedJun 5, 2021 -
phasar Public
Forked from secure-software-engineering/phasarA LLVM-based static analysis framework.
C++ Other UpdatedMay 31, 2021 -
lizard Public
Forked from terryyin/lizardA simple code complexity analyser without caring about the C/C++ header files or Java imports, supports most of the popular languages.
Python Other UpdatedMay 31, 2021 -
-
cppinclude Public
Forked from cppinclude/cppincludeTool for analyzing includes in C++
C++ UpdatedMay 17, 2021 -
include-what-you-use Public
Forked from include-what-you-use/include-what-you-useA tool for use with clang to analyze #includes in C and C++ source files
C++ Other UpdatedMay 16, 2021 -
rough-auditing-tool-for-security Public
Forked from andrew-d/rough-auditing-tool-for-securityAutomatically exported from code.google.com/p/rough-auditing-tool-for-security
C GNU General Public License v2.0 UpdatedMay 5, 2021 -
Cobra Public
Forked from nimble-code/CobraAn interactive (fast) static source code analyzer
C UpdatedMar 25, 2021 -
wtf Public
Forked from djmott/wtfWindows Template Framework
C++ Boost Software License 1.0 UpdatedMar 18, 2021 -
OpenCppCoverage Public
Forked from OpenCppCoverage/OpenCppCoverageOpenCppCoverage is an open source code coverage tool for C++ under Windows.
C++ GNU General Public License v3.0 UpdatedMar 4, 2021 -
vera Public
Forked from verateam/veraA programmable tool for verification, analysis and transformation of C++ source code
C++ Boost Software License 1.0 UpdatedFeb 26, 2021 -
ikos Public
Forked from NASA-SW-VnV/ikosStatic analyzer for C/C++ based on the theory of Abstract Interpretation.
C++ Other UpdatedFeb 8, 2021 -
splint Public
Forked from splintchecker/splintSplint - annotation-assisted static program checker
C Other UpdatedJan 7, 2021 -
qt Public
Forked from wkhtmltopdf/qtforked Qt 4.8 with wkhtmltopdf-specific patches
C++ Other UpdatedOct 28, 2020 -
xtl Public
Forked from djmott/xtleXtended Template Library
C++ Boost Software License 1.0 UpdatedFeb 17, 2020 -
dotnet-vcxproj Public
Forked from roozbehid/dotnet-vcxprojEnabling "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!
C# UpdatedNov 21, 2019 -
FlintPlusPlus Public
Forked from JossWhittle/FlintPlusPlusFlint++ is cross-platform, zero-dependency port of flint, a lint program for C++ developed and used at Facebook.
C++ Boost Software License 1.0 UpdatedSep 25, 2019 -
CMetrics Public
Forked from MetricsGrimoire/CMetricsCMetrics measures size and complexity for C files
Shell GNU General Public License v2.0 UpdatedMar 24, 2015