Enabling sophisticated analyses of ×86 binaries with RevGen | IEEE Conference Publication | IEEE Xplore