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

Sandrine Blazy, Vincent Laporte, David Pichardie

Browse the full ITP paper archive.