Software that emulates a CPU has many applications, but is difficult to implement correctly and requires extensive testing. Since a large number of test cases are required for full coverage, it is important that the tests execute efficiently. We explore techniques for combining many instruction tests into one program to amortize overheads such as booting an emulator. To ensure the results of each test are reflected in a final result, we use the outputs of one instruction test as an input to the next, and adopt the “Feistel network” construction from cryptography so that each step is invertible. We evaluate this approach by applying it to PokeEMU, a tool that generates emulator tests using symbolic execution. The combined tests run much faster, but still reveal most of the same behavior differences as when run individually.
|Original language||English (US)|
|Title of host publication||VEE 2018 - Proceedings of the 2018 International Conference on Virtual Execution Environments|
|Publisher||Association for Computing Machinery, Inc|
|Number of pages||13|
|State||Published - Mar 25 2018|
|Event||14th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, VEE 2018 - Williamsburg, United States|
Duration: Mar 25 2018 → Mar 25 2018
|Name||VEE 2018 - Proceedings of the 2018 International Conference on Virtual Execution Environments|
|Other||14th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, VEE 2018|
|Period||3/25/18 → 3/25/18|
Bibliographical noteFunding Information:
We thank the anonymous reviewers for suggestions which have helped us improve the paper's presentation. This paper is based upon work supported by the National Science Foundation under grant no. 1514444.
- CPU emulators
- Symbolic binary execution