Path-exploration lifting: hi-fi tests for lo-fi emulators

@inproceedings{Martignoni2012PathexplorationLH,
  title={Path-exploration lifting: hi-fi tests for lo-fi emulators},
  author={L. Martignoni and Stephen McCamant and Pongsin Poosankam and D. Song and Petros Maniatis},
  booktitle={ASPLOS XVII},
  year={2012}
}
  • L. Martignoni, Stephen McCamant, +2 authors Petros Maniatis
  • Published in ASPLOS XVII 2012
  • Computer Science
  • Processor emulators are widely used to provide isolation and instrumentation of binary software. However they have proved difficult to implement correctly: processor specifications have many corner cases that are not exercised by common workloads. It is untenable to base other system security properties on the correctness of emulators that have received only ad-hoc testing. To obtain emulators that are worthy of the required trust, we propose a technique to explore a high-fidelity emulator with… CONTINUE READING
    MultiNyx: a multi-level abstraction framework for systematic analysis of hypervisors
    On Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs
    • 5
    • PDF
    Automated testing of a TCG frontend for Qemu
    Cardinal Pill Testing of System Virtual Machines
    • 26
    • PDF