Abstrakt. På grund av indirekta gren instruktioner, analyser av körbara filer ofta lider av problemet att en fullständig kontroll flöde graf av programmet inte är tillgänglig. Dataflödesanalys har föreslagits tidigare för att statiskt bestämma grenmål i många fall, men en generisk strategi utan antaganden om kompilator idiomer eller felsökningsinformation saknas. Vi har utformat ett abstrakt tolkningsbaserat ramverk för generiska lågnivåprogram med indirekta hopp som säkert kombinerar en insticksbar abstrakt domän med begreppet delkontrollflödesgrafer. Med hjälp av vårt ramverk kan vi visa att styrningsflödesrekonstruktionsalgoritmen för vårt demonteringsverktyg Jaktab producerar den mest exakta över approximationen av kontrollflödesgrafen med avseende på den använda abstrakta domänen.
Kinder och Veith REF utvecklade Jaktab baserat på dataflödesanalys tillsammans med kontrollflödesrekonstruktion.
An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries
{'venue': 'IN PROCEEDINGS OF VMCAI', 'journal': None, 'mag_field_of_study': ['Computer Science']}