convert binary to VEX IR using the C interface provided by pyvex. - View it on GitHub