Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with pointer-analysis
A curated list of projects in awesome lists tagged with pointer-analysis .
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: 31 Jul 2024
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: 30 Sep 2024
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: 04 Aug 2024
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: 30 Sep 2024
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: 02 Aug 2024
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: 01 Oct 2024