BinRec: Dynamic binary lifting and recompilation
Anil Altinay, Joseph Nash, Taddeus Kroes, Prabhu Rajasekaran, Dixin Zhou, Adrian Dabrowski, David Gens, Yeoul Na, Stijn Volckaert, Cristiano Giuffrida, Herbert Bos, Michael Franz[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]
Proceedings of the Fifteenth European Conference on Computer Systems
EuroSys '20
Heraklion, Greece
Association for Computing Machinery
New York, NY, USA
2020
Note(s): binary lifter, LLVM compiler, binary analysis, QEMU, KLEE verifier
EuroSys '20
Heraklion, Greece
Association for Computing Machinery
New York, NY, USA
2020
Note(s): binary lifter, LLVM compiler, binary analysis, QEMU, KLEE verifier