dg

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

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

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

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