Sandrine Blazy, Vincent Laporte, David Pichardie. Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code.
Journal of Automated Reasoning, Springer Verlag, 2016, 56 (3), pp.26.
⟨10.1007/s10817-015-9359-8⟩.
⟨hal-01243700⟩