SymWalker: Symbolic Execution in Routines of Binary Code | IEEE Conference Publication | IEEE Xplore