[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Debian binary package compiled for Ubuntu 18.04. Version of dg: 0e0fc8f9. This is just a temporary release to publish the .deb file.
Changelog:
Changelog:
First release
slicer for LLVM LLVM dg: flow-insensitive points-to analysis, traditional data-flow reaching definition analysis, etc.