munta icon indicating copy to clipboard operation
munta copied to clipboard
verified publisher icon wimmers

Support for CALL & RETURN

Open wimmers opened this issue 8 years ago • 0 comments

CALL & RETURN are not supported at the moment because we do not have a clue of where they will continue the program execution. Reasons:

  • The current program reachability analysis does not take into account stack content.
  • Renumbering of program locations means that the arguments for CALL and RETURN would have to be renumbered, too. However the arguments are on the stack, so this is hard.

wimmers avatar Jun 20 '17 08:06 wimmers