GitHub topics: pointer-analysis
wala/WALA
T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.
Language: Java - Size: 59 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 821 - Forks: 238
SVF-tools/SVF
Static Value-Flow Analysis Framework for Source Code
Language: C++ - Size: 19.4 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 1,614 - Forks: 467
sarih-cloud/DSA-Lab
🛠️ Explore implementations and solutions for Data Structures and Algorithms labs, enhancing your coding skills through practical examples.
Language: C++ - Size: 1.31 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 1 - Forks: 2
ShahzaibAhmad05/DSA-Lab
A repository containing code for Labs of Data Structures & Algorithms (DSA) course at NUST
Language: C++ - Size: 21.5 KB - Last synced at: 30 days ago - Pushed at: about 1 month ago - Stars: 17 - Forks: 3
seahorn/sea-dsa
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
Language: C++ - Size: 1.59 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 165 - Forks: 32
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: 6 days ago - Pushed at: over 2 years ago - Stars: 27 - Forks: 10
GaloisInc/cclyzerpp
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
Language: C++ - Size: 3.99 MB - Last synced at: 28 days ago - Pushed at: 9 months ago - Stars: 146 - Forks: 16
hbgit/Map2Check
Map2Check: Finding Software Vulnerabilities
Language: SWIG - Size: 1.02 GB - Last synced at: 24 days ago - Pushed at: almost 5 years ago - Stars: 30 - Forks: 10
cs-au-dk/TIP
Static program analysis for TIP
Language: Scala - Size: 3.33 MB - Last synced at: 4 months ago - Pushed at: 6 months ago - Stars: 293 - Forks: 136
GaloisInc/yapall
A precise and scalable pointer analysis for LLVM, written in Ascent
Language: C - Size: 3.57 MB - Last synced at: 4 months ago - Pushed at: 8 months ago - Stars: 65 - Forks: 4
plast-lab/doop
The official repo of Doop, the declarative pointer analysis framework.
Language: Java - Size: 103 MB - Last synced at: 4 months ago - Pushed at: 5 months ago - Stars: 180 - Forks: 24
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: 5 months ago - Pushed at: 5 months ago - Stars: 505 - Forks: 137
azaleacolburn/sonder
Static Pointer Analyzer and Transpiler from C to Safe Rust
Language: Rust - Size: 15.2 MB - Last synced at: 2 months ago - Pushed at: 5 months ago - Stars: 25 - Forks: 1
amit-davidson/Chronos
Chronos - A static race detector for the go language
Language: Go - Size: 13.4 MB - Last synced at: 6 months ago - Pushed at: over 3 years ago - Stars: 435 - Forks: 11
BarrensZeppelin/pointer
Implementation of Steensgaard's pointer analysis for Go
Language: Go - Size: 62.5 KB - Last synced at: 7 months ago - Pushed at: about 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: about 1 month ago - Pushed at: 9 months ago - Stars: 4 - Forks: 1
seahorn/llvm-dsa
LLVM DSA fork for SeaHorn
Language: C++ - Size: 281 KB - Last synced at: 7 months ago - Pushed at: about 6 years ago - Stars: 21 - Forks: 8
plast-lab/cclyzer
A tool for analyzing LLVM bitcode using Datalog.
Language: C++ - Size: 42.9 MB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 90 - Forks: 14
Lancern/llvm-anderson
Anderson points-to analysis implementation based on LLVM
Language: C++ - Size: 132 KB - Last synced at: 24 days ago - Pushed at: almost 5 years ago - Stars: 12 - 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: about 2 years ago - Pushed at: about 2 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: about 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0
SethWiiPlaza/MedvedHellraiser2-Hacks
+2 Trainer by Seth@WiiPlaza
Size: 15.6 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
Aurore54F/static-pdg-js
Static JavaScript Analysis: AST, Control Flow, Data Flow, & Pointer Analysis
Language: Python - Size: 57.6 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 0
Aurore54F/DoubleX
Statically Detecting Vulnerable Data Flows in Browser Extensions at Scale
Language: Python - Size: 125 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 33 - Forks: 6
enochii/simple-pointer-analysis
Implement pointer analysis prototype(currently including anderson, steensgard)~
Language: C++ - Size: 207 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 13 - Forks: 1
sdasgup3/symbolic-analysis
Customized symbolic analysis to find pointer analysis bugs
Language: C++ - Size: 76.8 MB - Last synced at: 7 months ago - Pushed at: almost 10 years ago - Stars: 6 - Forks: 2
go-air/pal
pointer analysis library
Language: Go - Size: 609 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 6 - 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: over 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: over 7 years ago - Stars: 0 - Forks: 0
shaunazzopardi/tapa
A TArgeted Pointer Analysis for Java programs
Language: Java - Size: 14.8 MB - Last synced at: 5 months ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 1
ashiqursuperfly/pointer-analysis
Pointer Analysis of a standard C program using SVF tool
Language: C - Size: 5.86 KB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
