Skip to content

Commit

Permalink
Merge pull request #1 from jkrshnmenon/fix-angr-update
Browse files Browse the repository at this point in the history
Update arbiter to work with latest angr changes.
  • Loading branch information
jkrshnmenon authored Feb 23, 2022
2 parents f6d1989 + a87f0af commit 9b647af
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions arbiter/target.py
Original file line number Diff line number Diff line change
Expand Up @@ -183,11 +183,12 @@ def next_block(self, bbl):

def expr_from_state(self, project, state, arg_num):
cca = project.analyses.CallingConvention(self._func)
if cca.cc is None or cca.cc.args is None:
args = cca.cc.arg_locs(cca.prototype)
if cca.cc is None or args is None:
return None
if arg_num == 0:
return cca.cc.get_return_val(state)
elif len(cca.cc.args) >= arg_num:
elif len(args) >= arg_num:
return cca.cc.arg(state, arg_num - 1)

def checkpoint_is_ret(self, name):
Expand Down

0 comments on commit 9b647af

Please sign in to comment.