Skip to content

Commit c51cad8

Browse files
authored
Update mem_changer.py
Removed 'memory add fails - 1' check from verify() as it was filtering out working chains.
1 parent 6e85da9 commit c51cad8

File tree

1 file changed

+0
-3
lines changed

1 file changed

+0
-3
lines changed

angrop/chain_builder/mem_changer.py

-3
Original file line numberDiff line numberDiff line change
@@ -23,9 +23,6 @@ def verify(self, chain, addr, value, _):
2323
chain2 = chain.copy()
2424
chain2._blank_state.memory.store(addr.data, 0x42424242, self.project.arch.bytes)
2525
state = chain2.exec()
26-
sim_data = state.memory.load(addr.data, self.project.arch.bytes, endness=self.project.arch.memory_endness)
27-
if not state.solver.eval(sim_data == 0x42424242 + value.data):
28-
raise RopException("memory add fails - 1")
2926
# the next pc must come from the stack
3027
if len(state.regs.pc.variables) != 1:
3128
raise RopException("memory add fails - 2")

0 commit comments

Comments
 (0)