Modelling Metamorphism by Abstract Interpretation

DOI10.1007/978-3-642-15769-1_14zbMath1306.68023OpenAlexW2095975118MaRDI QIDQ4930730

Roberto Giacobazzi, G. Townsend, Kevin Coogan, Mila Dalla Preda, Saumya Debray

Publication date: 1 October 2010

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15769-1_14

zbMATH Keywords

securitystatic analysisprogram transformationsemanticsabstract interpretationmalware detectionmetamorphic code

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 (2)

Context-sensitive analysis without calling-context ⋮ Unveiling metamorphism by abstract interpretation of code properties

This page was built for publication: Modelling Metamorphism by Abstract Interpretation