Here are
25 public repositories
matching this topic...
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.
Static program analysis for TIP
Updated
Nov 24, 2021
Scala
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
A tool for analyzing LLVM bitcode using Datalog.
Updated
Jan 11, 2022
Java
Statically Detecting Vulnerable Data Flows in Browser Extensions at Scale
Updated
Nov 23, 2021
Python
LLVM DSA fork for SeaHorn
Map2Check: Finding Software Vulnerabilities
Updated
Nov 13, 2020
SWIG
OCCAM: Object Culling and Concretization for Assurance Maximization
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.
Updated
Jun 2, 2021
Python
A TArgeted Pointer Analysis for Java programs
LLVMSlicer with pointer analysis
Pointer Analysis of a standard C program using SVF tool
simple CFA(Control Flow Analysis) implementation, UCAS compiler assignment 3
[LLVM Static Slicer] Dependence graph for programs. Generic implementation of dependence graphs with instantiation for LLVM that contains a static slicer for LLVM bitcode
Automated Binary Analysis on iOS - ARMv8 decompiler, static slicing with pointer analysis, evaluation of crypto parameters via security rules
Updated
Jul 2, 2018
Shell
Static JavaScript Analysis: AST, Control Flow, Data Flow, & Pointer Analysis
Updated
Feb 26, 2022
Python
Improve this page
Add a description, image, and links to the
pointer-analysis
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
pointer-analysis
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.
Enhancement
When the program panics the entire stack trace is returned. A more user friendly should be returned.
It should contain the failing stacktrace but also the following messages as in the example stacktrace below (taken from that of the stdlib pointer package):
Internal panic in while performing analysis:at the topError in analysis (please report this bug)at the bot