pointer-analysis topic
List
pointer-analysis repositories
WALA
734
Stars
220
Forks
Watchers
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
dg
471
Stars
131
Forks
Watchers
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
TIP
271
Stars
124
Forks
Watchers
Static program analysis for TIP
SVF
1.3k
Stars
421
Forks
Watchers
Static Value-Flow Analysis Framework for Source Code
Chronos
423
Stars
11
Forks
Watchers
Chronos - A static race detector for the go language
sea-dsa
155
Stars
30
Forks
Watchers
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
cclyzer
91
Stars
14
Forks
Watchers
A tool for analyzing LLVM bitcode using Datalog.
doop
135
Stars
20
Forks
Watchers
The official repo of Doop, the declarative pointer analysis framework.
Map2Check
27
Stars
9
Forks
Watchers
Map2Check: Finding Software Vulnerabilities
DoubleX
58
Stars
10
Forks
Watchers
Statically Detecting Vulnerable Data Flows in Browser Extensions at Scale