radareorg / radeco

radare2-based decompiler and symbol executor

Decompilation into logic

XVilka opened this issue 6 years ago · comments

Anton Kochkov commented 6 years ago

See https://www.cl.cam.ac.uk/~mom22/decompilation/
fmcad12.pdf