Accurate and Extensible Symbolic Execution of Binary Code Based on Formal ISA Semantics.

Sren Tempel, Tobias Brandt, Christoph Lth, Christian Dietrich, Rolf Drechsler

Browse the full DATE paper archive.