Abstract-In för att öka sin stealth, malware använder ofta självmodifiering egendom program. Genom att göra det, program kan dölja sin verkliga kod så att det är svårt att definiera en signatur för det. Men vad är då innebörden i dessa program: den fördunklade formen eller den dolda? Dessutom, ur ett beräkningsbart perspektiv, blir det svårt att tala om programmet eftersom dess egen kod varierar över tid. För att hantera dessa frågor tillhandahåller vi en operativ semantik för självmodifierande program och vi visar att de kan skrivas om konstruktivt till ett icke-modifierande program.
En operationell semantik definieras i REF, där en omskrivningsprocess från självmodifierande program till icke-modifierande program definieras.
A Computability Perspective on Self-Modifying Programs
{'venue': '2009 Seventh IEEE International Conference on Software Engineering and Formal Methods', 'journal': '2009 Seventh IEEE International Conference on Software Engineering and Formal Methods', 'mag_field_of_study': ['Computer Science']}