SymWalker: Symbolic Execution in Routines of Binary Code.

Jinxin Ma, Guowei Dong, Puhan Zhang, Tao Guo

Browse the full CIS paper archive.