Mchalupa Dg Versions Save

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

v0.9-pre

3 years ago

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

thesis

7 years ago

v0.0.2

8 years ago

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

0.0.2-pre

8 years ago

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)

v0.0.1

8 years ago

First release

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