From c5fe9cdaaf88c928becac3ed47a6ba68a4fe018e Mon Sep 17 00:00:00 2001 From: Adam Doupe Date: Sat, 26 Feb 2022 07:54:51 +0000 Subject: [PATCH] Fix bug in symbolic_execution.py which likely relied on an old version of angr. --- arbiter/master_chief/symbolic_execution.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/arbiter/master_chief/symbolic_execution.py b/arbiter/master_chief/symbolic_execution.py index 57d5fbe..9deb6e3 100644 --- a/arbiter/master_chief/symbolic_execution.py +++ b/arbiter/master_chief/symbolic_execution.py @@ -683,7 +683,7 @@ def verify_one(self, report, start, block_dict): return None output = {'function': first_target.addr, 'bbl': report.site.bbl, - 'bbl_history': list(sat_states[0].state.history.bbl_addrs), + 'bbl_history': list(sat_states[0].history.bbl_addrs), 'callstack': [x.current_function_address for x in sat_states[0].callstack] } if report.site.callee == 'EOF':