5 results found Sort:

SVF-tools
SVF SVF-tools
442
1.5k
other
56
Static Value-Flow Analysis Framework for Source Code
llvm code-analysis code-security static-analysis static-analyzer pointer-analysis static-value-flow points-to-analysis dependency-analysis source-code-analysis
Created 2015-06-05
4,306 commits to master branch, last one 2 days ago
mchalupa
dg mchalupa
136
498
mit
19
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
llvm slice llvm-ir slicing analysis llvm-slicer llvm-bitcode backward-slice data-dependency static-analysis static-analyzer backward-slicing dependence-graph dependency-graph pointer-analysis program-analysis control-dependency points-to-analysis reaching-definitions static-code-analysis
Created 2015-02-19
3,181 commits to master branch, last one 2 years ago
BytecodeDL
ByteCodeDL BytecodeDL
19
334
gpl-3.0
7
A declarative static analysis tool for jvm bytecode based Datalog like CodeQL
sast security-tools taint-analysis static-analysis points-to-analysis
Created 2022-03-23
73 commits to main branch, last one about a year ago
cs-au-dk
TIP cs-au-dk
127
286
unknown
23
Static program analysis for TIP
static-analyzer pointer-analysis program-analysis points-to-analysis static-code-analysis
Created 2013-11-21
27 commits to master branch, last one 3 years ago
SVF-tools
Teaching-Software-Analysis SVF-tools
119
200
gpl-3.0
24
Teaching and Learning Software Analysis via SVF
course taint-analysis static-analysis information-flow software-analysis points-to-analysis
Created 2020-12-30
270 commits to main branch, last one 22 days ago