Abstrakt. BAP är en allmänt tillgänglig infrastruktur för att utföra programverifiering och analys uppgifter på binär (dvs. körbar) kod. I detta dokument beskriver vi BAP samt lärdomar från tidigare inkarnationer av binära analysplattformar. BAP representerar uttryckligen alla biverkningar av instruktioner på ett mellanspråk (IL), vilket gör syntaxdirected analys möjligt. Vi har använt BAP för att rutinmässigt generera och lösa verifieringsförhållanden som är hundratals megabyte i storlek och omfattar 100.000 av monteringsinstruktioner.
BAP REF presenterar en kortfattad IR som uttryckligen kan representera alla monteringsbiverkningar.
BAP: A Binary Analysis Platform
{'venue': 'CAV', 'journal': None, 'mag_field_of_study': ['Computer Science']}