Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code Sandrine Blazy1 , Vincent Laporte1 , and David Pichardie2 1 Université Rennes 1 – IRISA – Inria - Sandrine - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2014-06-04 05:25:47 Assembly languages Abstract interpretation Subroutine X86 assembly language Data type MIX Computer programming Computing Software engineering		Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code Sandrine Blazy1 , Vincent Laporte1 , and David Pichardie2 1 Université Rennes 1 – IRISA – Inria Add to Reading List Source URL: people.irisa.fr Download Document from Source Website File Size: 407,94 KB Share Document on Facebook