Projects in Awesome Lists tagged with pointer-analysis
A curated list of projects in awesome lists tagged with pointer-analysis .
https://svf-tools.github.io/SVF/
Static Value-Flow Analysis Framework for Source Code
code-analysis code-security dependency-analysis llvm pointer-analysis points-to-analysis source-code-analysis static-analysis static-analyzer static-value-flow
Last synced: 21 Nov 2025
https://github.com/svf-tools/svf
Static Value-Flow Analysis Framework for Source Code
code-analysis code-security dependency-analysis llvm pointer-analysis points-to-analysis source-code-analysis static-analysis static-analyzer static-value-flow
Last synced: 27 Apr 2025
https://github.com/SVF-tools/SVF
Static Value-Flow Analysis Framework for Source Code
code-analysis code-security dependency-analysis llvm pointer-analysis points-to-analysis source-code-analysis static-analysis static-analyzer static-value-flow
Last synced: 20 Mar 2025
https://github.com/wala/WALA
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
android callgraph dataflow-analysis java javascript pointer-analysis program-analysis slicing static-analysis static-code-analysis
Last synced: 09 Jul 2025
https://github.com/mchalupa/dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
analysis backward-slice backward-slicing control-dependency data-dependency dependence-graph dependency-graph llvm llvm-bitcode llvm-ir llvm-slicer pointer-analysis points-to-analysis program-analysis reaching-definitions slice slicing static-analysis static-analyzer static-code-analysis
Last synced: 04 Apr 2025
https://github.com/amit-davidson/chronos
Chronos - A static race detector for the go language
analysis data-race-detection detection detects-races go golang mutex-synchronisation pointer-analysis race-condition race-conditions race-detection ssa static-analysis static-code-analysis synchronization
Last synced: 14 Jan 2026
https://github.com/amit-davidson/Chronos
Chronos - A static race detector for the go language
analysis data-race-detection detection detects-races go golang mutex-synchronisation pointer-analysis race-condition race-conditions race-detection ssa static-analysis static-code-analysis synchronization
Last synced: 03 May 2025
https://github.com/cs-au-dk/TIP
Static program analysis for TIP
pointer-analysis points-to-analysis program-analysis static-analyzer static-code-analysis
Last synced: 27 Feb 2025
https://github.com/seahorn/sea-dsa
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
llvm pointer-analysis static-analysis verification
Last synced: 09 Apr 2025
https://github.com/galoisinc/cclyzerpp
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
datalog llvm pointer-analysis program-analysis souffle static-analysis
Last synced: 03 Jul 2025
https://github.com/galoisinc/yapall
A precise and scalable pointer analysis for LLVM, written in Ascent
datalog llvm pointer-analysis program-analysis static-analysis
Last synced: 03 Jul 2025
https://github.com/lancern/llvm-anderson
Anderson points-to analysis implementation based on LLVM
algorithm llvm llvm-anderson llvm-ir pointer-analysis points-to-analysis program-analysis static-analysis
Last synced: 16 Apr 2025
https://github.com/sdasgup3/symbolic-analysis
Customized symbolic analysis to find pointer analysis bugs
c-plus-plus checker debugger klee llvm pointer-analysis symbolic-analysis
Last synced: 12 Apr 2025
https://github.com/barrenszeppelin/pointer
Implementation of Steensgaard's pointer analysis for Go
call-graph-analysis callgraph go golang pointer-analysis unification-algorithm
Last synced: 23 Mar 2025
https://github.com/shaunazzopardi/tapa
A TArgeted Pointer Analysis for Java programs
java pointer-analysis soot static-analysis
Last synced: 01 Mar 2025
https://github.com/ashiqursuperfly/pointer-analysis
Pointer Analysis of a standard C program using SVF tool
Last synced: 02 Aug 2025
