Dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
DG is a library containing various bits for program analysis. However, the main motivation of this library is program slicing. The library contains implementation of a pointer analysis, data dependence analysis, control dependence analysis, and an analysis of relations between values in LLVM bitcode. All of the analyses target LLVM bitcode, but most of them are written in a generic way, so they are not dependent on LLVM in particular. The project is written primarily in C++, distributed under the MIT License license, first published in 2015. Key topics include: analysis, backward-slice, backward-slicing, control-dependency, data-dependency.
DG
DG is a library containing various bits for program analysis. However, the main motivation of this library is program slicing. The library contains implementation of a pointer analysis, data dependence analysis, control dependence analysis, and an analysis of relations between values in LLVM bitcode. All of the analyses target LLVM bitcode, but most of them are written in a generic way, so they are not dependent on LLVM in particular.
Further, DG contains an implementation of dependence graphs and a static program slicer for LLVM bitcode. Some documentation can be found in the doc/ directory.
You can find a high-level description of DG in DG: a program analysis library or DG: Analysis and slicing of LLVM bitcode papers. More detailed information about dg is in the doc/ folder or in my master thesis.
You can write e-mails with issues to mchqwerty@gmail.com (or file issue in github).
Contributors
Showing top 12 contributors by commit count.
Related Repositories
qeeqbox/social-analyzer
API, CLI, and Web App for analyzing and finding a person's profile in 1000 social media \ websites
analysis-tools-dev/static-analysis
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
Datalux/Osintgram
Osintgram is a OSINT tool on Instagram. It offers an interactive shell to perform analysis on Instagram account of any users by its nickname
willwulfken/MidJourney-Styles-and-Keywords-Reference
A reference containing Styles and Keywords that you can use with MidJourney AI. There are also pages showing resolution comparison, image weights, and much more!
cytoscape/cytoscape.js
Graph theory (network) library for visualisation and analysis
angr/angr
A powerful and user-friendly binary analysis platform!