pointer-analysis topic
List
pointer-analysis repositories
OCCAM
25
Stars
10
Forks
Watchers
OCCAM: Object Culling and Concretization for Assurance Maximization
cclyzerpp
111
Stars
14
Forks
Watchers
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
yapall
50
Stars
3
Forks
Watchers
A precise and scalable pointer analysis for LLVM, written in Ascent
static-pdg-js
17
Stars
1
Forks
Watchers
Static JavaScript Analysis: AST, Control Flow, Data Flow, & Pointer Analysis