Abstract—Findingandexploitingvulnerabilitiesinbinarycodeisachallengingtask.Thelackofhigh-level,semanticallyrichinformationaboutdatastructuresandcontrolconstructsmakestheanalysisofprogrampropertieshardertoscale.However,theimportanceofbinaryanalysisisontherise.Inmanysituationsbinaryanalys