A symbolic execution engine for the VEX IR - View it on GitHub