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	Meta Content
	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 Document Date: 2014-06-04 05:25:47 Open Document File Size: 407,94 KB Share Result on Facebook IndustryTerm carrier type / carrier type ab_mc / reverse engineering tools / usual operating systems / abstract search space / worklist algorithm / / Position abstract interpreter / Coq proof assistant / / Technology operating systems / worklist algorithm / dom / cmp / / SocialTag 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 – InriaAdd to Reading List