Skip to content

Commit

Permalink
Fix typo in args passed to add_constraints
Browse files Browse the repository at this point in the history
  • Loading branch information
twizmwazin committed Oct 4, 2024
1 parent ed38f3c commit be7efb6
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion angrop/chain_builder/mem_writer.py
Original file line number Diff line number Diff line change
Expand Up @@ -220,7 +220,7 @@ def _write_to_mem_with_gadget(self, gadget, addr_val, data, use_partial_controll

# constrain the addr
test_state.add_constraints(the_action.addr.ast == addr_bvs, addr_bvs == addr_val.data)
pre_gadget_state.add_constraints(the_action.addr.ast == addr_bvs, addr_bvs = addr_val.data)
pre_gadget_state.add_constraints(the_action.addr.ast == addr_bvs, addr_bvs == addr_val.data)
pre_gadget_state.options.discard(angr.options.AVOID_MULTIVALUED_WRITES)
state = rop_utils.step_to_unconstrained_successor(self.project, pre_gadget_state)

Expand Down

0 comments on commit be7efb6

Please sign in to comment.