Here are
22 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
Updated
Dec 23, 2021
Java
[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
Dec 27, 2021
Java
LLVM DSA fork for SeaHorn
Statically Detecting Vulnerable Data Flows in Browser Extensions at Scale
Updated
Nov 23, 2021
Python
Map2Check: Finding Software Vulnerabilities
Updated
Nov 13, 2020
SWIG
OCCAM: Object Culling and Concretization for Assurance Maximization
Anderson points-to analysis implementation based on LLVM
Customized symbolic analysis to find pointer analysis bugs
Implement pointer analysis prototype(currently including anderson, steensgard)~
A TArgeted Pointer Analysis for Java programs
LLVMSlicer with pointer analysis
Pointer Analysis of a standard C program using SVF tool
Python script to query JavaScript static analysis tooling for points to set of source variables.
Updated
Jun 2, 2021
Python
Automated Binary Analysis on iOS - ARMv8 decompiler, static slicing with pointer analysis, evaluation of crypto parameters via security rules
Updated
Jul 2, 2018
Shell
[LLVM Static Slicer] Dependence graph for programs. Generic implementation of dependence graphs with instantiation for LLVM that contains a static slicer for LLVM bitcode
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