10 results found Sort:

SVF-tools
SVF SVF-tools
436
1.4k
other
57
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,159 commits to master branch, last one 4 days ago
wala
WALA wala
221
755
epl-2.0
30
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
java android slicing callgraph javascript static-analysis pointer-analysis program-analysis dataflow-analysis static-code-analysis
Created 2012-04-05
7,260 commits to master branch, last one 5 days ago
mchalupa
dg mchalupa
135
481
mit
20
[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 about a year ago
amit-davidson
Chronos amit-davidson
11
425
mit
5
Chronos - A static race detector for the go language
go ssa golang analysis detection detects-races race-condition race-detection race-conditions static-analysis synchronization pointer-analysis data-race-detection static-code-analysis mutex-synchronisation
Created 2020-10-02
253 commits to master branch, last one 2 years ago
cs-au-dk
TIP cs-au-dk
125
281
unknown
24
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 2 years ago
plast-lab
doop plast-lab
21
160
other
11
The official repo of Doop, the declarative pointer analysis framework.
doop java datalog pointer-analysis
Created 2016-10-30
7,056 commits to master branch, last one 17 days ago
seahorn
sea-dsa seahorn
30
157
other
12
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
llvm verification static-analysis pointer-analysis
Created 2017-06-29
814 commits to main branch, last one about a year ago
GaloisInc
cclyzerpp GaloisInc
15
135
bsd-3-clause
12
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
llvm datalog souffle static-analysis pointer-analysis program-analysis
Created 2022-08-10
199 commits to main branch, last one 2 months ago
Aurore54F
DoubleX Aurore54F
12
63
agpl-3.0
4
Statically Detecting Vulnerable Data Flows in Browser Extensions at Scale
ast security data-flow javascript control-flow static-anaysis chrome-extension pointer-analysis vulnerability-detection
Created 2021-08-19
6 commits to main branch, last one 2 years ago
GaloisInc
yapall GaloisInc
3
53
bsd-3-clause
5
A precise and scalable pointer analysis for LLVM, written in Ascent
llvm datalog static-analysis pointer-analysis program-analysis
Created 2023-08-04
107 commits to main branch, last one 2 months ago