Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for c plus plus static analyzer
c-plus-plus
x
static-analyzer
x
12 search results found
Infer
⭐
14,568
A static analyzer for Java, C, C++, and Objective-C
Clang
⭐
2,753
Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
Codechecker
⭐
2,023
CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
Ikos
⭐
1,935
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Awesome Linters
⭐
786
A community-driven list of awesome linters.
Dg
⭐
376
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Ebpf Verifier
⭐
320
eBPF verifier based on abstract interpretation
Groot
⭐
72
Static verification tool for DNS zone files
Flycheck Clang Analyzer
⭐
32
Integrate Clang Static Analyzer with flycheck for on-the-fly static analysis in Emacs
Itiviti Cpp Analyzer
⭐
22
Clang plugin with several static analysis checks
Wildcop
⭐
14
Clang Static Analyzer Plugin for MISRA C++ Compliance
Tsar
⭐
13
TSAR (Traits Static AnalyzeR)
Clang Php Checker
⭐
12
Plugin to clang's static analyzer with PHP specific tests
Slicer
⭐
8
Slicing tool for c++ programs using clang AST.
Opencanary
⭐
7
set of scripts for static analysis of source code and build results
Codechecker Action
⭐
6
Execute static analysis through CodeChecker in the CI.
Related Searches
C Plus Plus Cmake (8,712)
C Plus Plus Qt (8,557)
C Plus Plus Video Game (8,255)
C Plus Plus Algorithms (6,194)
C Plus Plus Opengl (4,396)
C Plus Plus 3d Graphics (3,196)
C Plus Plus Testing (2,735)
Java C Plus Plus (2,629)
C Plus Plus Command Line (2,304)
Javascript C Plus Plus (2,235)
1-12 of 12 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.