Unveiling metamorphism by abstract interpretation of code properties

DOI10.1016/j.tcs.2015.02.024zbMath1309.68044OpenAlexW1980153792MaRDI QIDQ2339470

Mila Dalla Preda, Saumya Debray, Roberto Giacobazzi

Publication date: 1 April 2015

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2015.02.024

zbMATH Keywords

abstract interpretationprogram semanticsmetamorphic malware detectionself-modifying programs

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Finding suitable variability abstractions for lifted analysis

Cites Work

• Recognizing malicious software behaviors with tree automata inference
• Modelling Metamorphism by Abstract Interpretation
• Verified just-in-time compiler on x86
• Compiler Construction
• Making abstract interpretations complete

This page was built for publication: Unveiling metamorphism by abstract interpretation of code properties