pointer-analysis
There are 28 repositories under pointer-analysis topic.
SVF-tools/SVF
Static Value-Flow Analysis Framework for Source Code
wala/WALA
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
mchalupa/dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
amit-davidson/Chronos
Chronos - A static race detector for the go language
cs-au-dk/TIP
Static program analysis for TIP
plast-lab/doop
The official repo of Doop, the declarative pointer analysis framework.
seahorn/sea-dsa
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
GaloisInc/cclyzerpp
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
plast-lab/cclyzer
A tool for analyzing LLVM bitcode using Datalog.
Aurore54F/DoubleX
Statically Detecting Vulnerable Data Flows in Browser Extensions at Scale
GaloisInc/yapall
A precise and scalable pointer analysis for LLVM, written in Ascent
hbgit/Map2Check
Map2Check: Finding Software Vulnerabilities
SRI-CSL/OCCAM
OCCAM: Object Culling and Concretization for Assurance Maximization
Aurore54F/static-pdg-js
Static JavaScript Analysis: AST, Control Flow, Data Flow, & Pointer Analysis
seahorn/llvm-dsa
LLVM DSA fork for SeaHorn
enochii/simple-pointer-analysis
Implement pointer analysis prototype(currently including anderson, steensgard)~
Lancern/llvm-anderson
Anderson points-to analysis implementation based on LLVM
go-air/pal
pointer analysis library
sdasgup3/symbolic-analysis
Customized symbolic analysis to find pointer analysis bugs
aliahsan07/JS-Query-Manager
Python script to query JavaScript static analysis tooling for points to set of source variables.
BarrensZeppelin/pointer
Implementation of Steensgaard's pointer analysis for Go
shaunazzopardi/tapa
A TArgeted Pointer Analysis for Java programs
Churro/ios-analysis
Automated Binary Analysis on iOS - ARMv8 decompiler, static slicing with pointer analysis, evaluation of crypto parameters via security rules
Churro/ios-analysis-llvmslicer
LLVMSlicer with pointer analysis
flyingbluefish/dg
[LLVM Static Slicer] Dependence graph for programs. Generic implementation of dependence graphs with instantiation for LLVM that contains a static slicer for LLVM bitcode
SethWiiPlaza/MedvedHellraiser2-Hacks
+2 Trainer by Seth@WiiPlaza
Tai-e/Cut-Shortcut
Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis
ashiqursuperfly/pointer-analysis
Pointer Analysis of a standard C program using SVF tool