Scalable validation of binary lifters

Sandeep Dasgupta, Sushant Dinesh, Deepan Venkatesh, Vikram S. Adve, Christopher W. Fletcher
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]

Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
PLDI 2020
London, UK
Association for Computing Machinery
New York, NY, USA
Pages 655-671
2020
Note(s): ISA specification, binary analysis, binary lifter, McSema tool, Remill library, x86 architecture