Static Value-Flow Analysis Framework for Source Code
-
Updated
Aug 18, 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
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Chronos - A static race detector for the go language
Static program analysis for TIP
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
The official repo of Doop, the declarative pointer analysis framework.
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
A tool for analyzing LLVM bitcode using Datalog.
Statically Detecting Vulnerable Data Flows in Browser Extensions at Scale
A precise and scalable pointer analysis for LLVM, written in Ascent
Map2Check: Finding Software Vulnerabilities
OCCAM: Object Culling and Concretization for Assurance Maximization
Static JavaScript Analysis: AST, Control Flow, Data Flow, & Pointer Analysis
Implement pointer analysis prototype(currently including anderson, steensgard)~
Anderson points-to analysis implementation based on LLVM
Customized symbolic analysis to find pointer analysis bugs
Python script to query JavaScript static analysis tooling for points to set of source variables.
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."