Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for static analyzer program analysis
program-analysis
x
static-analyzer
x
7 search results found
Ikos
⭐
1,935
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Cwe_checker
⭐
996
cwe_checker finds vulnerable patterns in binary executables
Dg
⭐
376
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Tip
⭐
173
Static program analysis for TIP
Tajs
⭐
126
Type Analyzer for JavaScript
Tsar
⭐
13
TSAR (Traits Static AnalyzeR)
Bixie
⭐
12
Inconsistent code detection for Java.
1-7 of 7 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.