Topic: "pointer-analysis"
SVF-tools/SVF
Static Value-Flow Analysis Framework for Source Code
Language: C++ - Size: 18.9 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 1,534 - Forks: 452
wala/WALA
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
Language: Java - Size: 57.4 MB - Last synced at: 24 days ago - Pushed at: 24 days ago - Stars: 795 - Forks: 236
mchalupa/dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Language: C++ - Size: 5.74 MB - Last synced at: 16 days ago - Pushed at: 19 days ago - Stars: 504 - Forks: 137
amit-davidson/Chronos
Chronos - A static race detector for the go language
Language: Go - Size: 13.4 MB - Last synced at: about 1 month ago - Pushed at: about 3 years ago - Stars: 435 - Forks: 11
cs-au-dk/TIP
Static program analysis for TIP
Language: Scala - Size: 3.33 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 287 - Forks: 130
plast-lab/doop
The official repo of Doop, the declarative pointer analysis framework.
Language: Java - Size: 103 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 180 - Forks: 24
seahorn/sea-dsa
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
Language: C++ - Size: 1.56 MB - Last synced at: 20 days ago - Pushed at: 12 months ago - Stars: 165 - Forks: 30
GaloisInc/cclyzerpp
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
Language: C++ - Size: 3.99 MB - Last synced at: 7 days ago - Pushed at: 4 months ago - Stars: 144 - Forks: 14
plast-lab/cclyzer
A tool for analyzing LLVM bitcode using Datalog.
Language: C++ - Size: 42.9 MB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 90 - Forks: 14
GaloisInc/yapall
A precise and scalable pointer analysis for LLVM, written in Ascent
Language: C - Size: 3.57 MB - Last synced at: 2 days ago - Pushed at: 3 months ago - Stars: 66 - Forks: 4
Aurore54F/DoubleX
Statically Detecting Vulnerable Data Flows in Browser Extensions at Scale
Language: Python - Size: 125 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 33 - Forks: 6
hbgit/Map2Check
Map2Check: Finding Software Vulnerabilities
Language: SWIG - Size: 1.02 GB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 28 - Forks: 9
SRI-CSL/OCCAM Fork of ashish-gehani/OCCAM
OCCAM: Object Culling and Concretization for Assurance Maximization
Language: C++ - Size: 78.5 MB - Last synced at: about 2 months ago - Pushed at: almost 2 years ago - Stars: 26 - Forks: 10
azaleacolburn/sonder
Static Pointer Analyzer and Transpiler from C to Safe Rust
Language: Rust - Size: 15.2 MB - Last synced at: 4 days ago - Pushed at: 14 days ago - Stars: 25 - Forks: 1
seahorn/llvm-dsa
LLVM DSA fork for SeaHorn
Language: C++ - Size: 281 KB - Last synced at: about 2 months ago - Pushed at: almost 6 years ago - Stars: 21 - Forks: 8
enochii/simple-pointer-analysis
Implement pointer analysis prototype(currently including anderson, steensgard)~
Language: C++ - Size: 207 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 13 - Forks: 1
Lancern/llvm-anderson
Anderson points-to analysis implementation based on LLVM
Language: C++ - Size: 132 KB - Last synced at: 1 day ago - Pushed at: over 4 years ago - Stars: 12 - Forks: 1
Aurore54F/static-pdg-js
Static JavaScript Analysis: AST, Control Flow, Data Flow, & Pointer Analysis
Language: Python - Size: 57.6 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 0
go-air/pal
pointer analysis library
Language: Go - Size: 609 KB - Last synced at: 12 months ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 0
sdasgup3/symbolic-analysis
Customized symbolic analysis to find pointer analysis bugs
Language: C++ - Size: 76.8 MB - Last synced at: about 2 months ago - Pushed at: over 9 years ago - Stars: 6 - Forks: 2
BarrensZeppelin/pointer
Implementation of Steensgaard's pointer analysis for Go
Language: Go - Size: 62.5 KB - Last synced at: 2 months ago - Pushed at: almost 2 years ago - Stars: 5 - Forks: 0
aliahsan07/JS-Query-Manager
Python script to query JavaScript static analysis tooling for points to set of source variables.
Language: Python - Size: 30.1 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 4 - Forks: 1
shaunazzopardi/tapa
A TArgeted Pointer Analysis for Java programs
Language: Java - Size: 14.8 MB - Last synced at: 3 days ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 1
Tai-e/Cut-Shortcut
Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis
Size: 1000 Bytes - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
SethWiiPlaza/MedvedHellraiser2-Hacks
+2 Trainer by Seth@WiiPlaza
Size: 15.6 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
ashiqursuperfly/pointer-analysis
Pointer Analysis of a standard C program using SVF tool
Language: C - Size: 5.86 KB - Last synced at: 15 days ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
Churro/ios-analysis Fork of IAIK/ios-analysis
Automated Binary Analysis on iOS - ARMv8 decompiler, static slicing with pointer analysis, evaluation of crypto parameters via security rules
Size: 393 KB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
Churro/ios-analysis-llvmslicer Fork of IAIK/ios-analysis-llvmslicer
LLVMSlicer with pointer analysis
Size: 374 MB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
flyingbluefish/dg Fork of mchalupa/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
Language: C++ - Size: 1.56 MB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
