Ubuntu 18.04 package

Debian binary package compiled for Ubuntu 18.04. Version of dg: 0e0fc8f. This is just a temporary release to publish the .deb file.

The version used in my master's thesis

ps-show,rd-show,llvmdg-dump: use xdot when available

nice viewer

Signed-off-by: Marek Chalupa <[email protected]>

0.0.2 version

Changelog:

• fixed bug in computing control dependencies (so now we really compute them, instead of adding control dependence to every predecessor - which is correct, but not precise)
• BBlock successors have label now
• slice away and reconnect basic blocks first, before slicing the nodes in the left blocks
• remove unused stuff from sliced module
• simple tutorial and building instructino in README
• lot of bugfixes
• continuing generalization of the code (making llvm-specific code more general)
• allow self-loops on bblocks

v0.0.2

Changelog:

• fixed bug in computing control dependencies (so now we really compute them, instead of adding control dependence to every predecessor - which is correct, but not precise)
• BBlock successors have label now
• slice away and reconnect basic blocks first, before slicing the nodes in the left blocks
• remove unused stuff from sliced module
• simple tutorial and building instructino in README
• lot of bugfixes
• continuing generalization of the code (making llvm-specific code more general)

First release

First release

slicer for LLVM
LLVM dg: flow-insensitive points-to analysis, traditional data-flow reaching definition analysis, etc.