Abstrakt. Detta papper gäller statisk analys algoritmer för att analysera x86 körbara. Syftet med arbetet är att återställa mellanliggande representationer som liknar dem som kan skapas för ett program som är skrivet på ett högnivåspråk. Vårt mål är att utföra denna uppgift för program som plugins, mobil kod, maskar och virus-infekterad kod. För sådana program, symboltabell och felsökning information är antingen helt frånvarande, eller inte kan lita på om närvarande; därför använder den teknik som beskrivs i papperet inte symboltabell / felsökning information. I stället görs en analys för att få information om innehållet i minnesplatser och hur de manipuleras. Analysen kallas Valueset analys, spår adressvärderade och heltal-värderade mängder samtidigt.
De använder sig av tidigare arbete för att spåra adresser REF.
Analyzing Memory Accesses in x86 Executables
{'venue': 'CC', 'journal': None, 'mag_field_of_study': ['Computer Science']}