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.
