Polymorphic type inference for machine code

Matt Noonan, Alexey Loginov, David R. Cok
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation
PLDI '16
Santa Barbara, CA, USA
Association for Computing Machinery
New York, NY, USA
Pages 27-41
Note(s): binary analysis, binary lifter, ISA specification, instruction set architecture