Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code

DOI10.1007/978-3-319-08970-6_9zbMath1417.68030OpenAlexW48390075MaRDI QIDQ2879248

Sandrine Blazy, David Pichardie, Vincent Laporte

Publication date: 8 September 2014

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08970-6_9

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Uses Software

• Coq

This page was built for publication: Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code