BDDStab is a non-convex abstract domain for the binary analysis framework Jakstab.

The video above shows how the downloadable virtual machine
image can be used to reproduce the demo2.exe case study.

To install, please read the downloads and installation instructions.

For answers, feel free to drop an email to sven.mattsen(at)