Static Value-Flow Analysis Framework for Source Code
-
Updated
Jun 1, 2024 - C++
Static Value-Flow Analysis Framework for Source Code
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
The official repo of Doop, the declarative pointer analysis framework.
A precise and scalable pointer analysis for LLVM, written in Ascent
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
Implementation of Steensgaard's pointer analysis for Go
+2 Trainer by Seth@WiiPlaza
OCCAM: Object Culling and Concretization for Assurance Maximization
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
Static program analysis for TIP
Python script to query JavaScript static analysis tooling for points to set of source variables.
Chronos - A static race detector for the go language
Static JavaScript Analysis: AST, Control Flow, Data Flow, & Pointer Analysis
Implement pointer analysis prototype(currently including anderson, steensgard)~
Statically Detecting Vulnerable Data Flows in Browser Extensions at Scale
Anderson points-to analysis implementation based on LLVM
Map2Check: Finding Software Vulnerabilities
Add a description, image, and links to the pointer-analysis topic page so that developers can more easily learn about it.
To associate your repository with the pointer-analysis topic, visit your repo's landing page and select "manage topics."