RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions.

Teodor Stoenescu, Alin Stefanescu, Sorina Predut, Florentin Ipate

Browse the full FM paper archive.