COLLECTED BY
Organization:
Internet Archive
Focused crawls are collections of frequently-updated webcrawl data from narrow (as opposed to broad or wide) web crawls, often focused on a single domain or subdomain.
The Wayback Machine - https://web.archive.org/web/20200810152548/https://github.com/topics/pointer-analysis
Here are
13 public repositories
matching this topic...
Static Value-Flow Analysis Framework for Source Code
T.J. Watson Libraries for Analysis
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Static program analysis for TIP
Updated
May 22, 2020
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 17, 2018
Python
LLVM DSA fork for SeaHorn
Map2Check: Finding Software Vulnerabilities
Customized symbolic analysis to find pointer analysis bugs
A TArgeted Pointer Analysis for Java programs
Pointer Analysis of a standard C program using SVF tool
[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.
