NOOOOOOO IMMUTABILItY

saullocarvalho · Oct 3, 2018 · d169c2a · d169c2a
1 parent 5c4300e
commit d169c2a
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/examples/ekopartyctf2015_rev100/solve.py b/examples/ekopartyctf2015_rev100/solve.py
@@ -53,7 +53,7 @@ def calc_one_byte(p, known_passwords, hook_func, start_addr, load_addr1, load_ad
     p.hook(load_addr2, UserHook(user_func=hook_func, length=14))
     state = p.factory.blank_state(addr=start_addr)
     state, password = prepare_state(state, known_passwords)
-    sm = p.factory.simulation_manager(state, immutable=False)
+    sm = p.factory.simulation_manager(state)
     sm.step(4)
     sm.step(size=cmp_addr - load_addr2)
 

diff --git a/examples/flareon2015_2/solve.py b/examples/flareon2015_2/solve.py
@@ -15,7 +15,7 @@ def main():
     # store a symbolic string for the input
     s.memory.store(0x402159, s.solver.BVS("ans", 8*40))
     # explore for success state, avoiding failure
-    sm = b.factory.simulation_manager(s, immutable=False)
+    sm = b.factory.simulation_manager(s)
     sm.explore(find=0x40106b, avoid=0x401072)
     # print(the string)
     found_state = sm.found[0]

diff --git a/examples/flareon2015_5/solve.py b/examples/flareon2015_5/solve.py
@@ -52,7 +52,7 @@ def main():
     p.hook(0x4011D6, hook_heapalloc, length=5)
 
     # Explore the states until after the hash is computed
-    sm = p.factory.simulation_manager(state, immutable=False)
+    sm = p.factory.simulation_manager(state)
     sm.explore(find=0x4011EC)
 
     # Add constraints to make final hash equal to the one we want

diff --git a/examples/mma_simplehash/solve.py b/examples/mma_simplehash/solve.py
@@ -86,7 +86,7 @@ def main():
 
     # Now, we start the symbolic execution. We create a PathGroup and set up some
     # logging (so that we can see what's happening).
-    sm = b.factory.simulation_manager(s, immutable=False)
+    sm = b.factory.simulation_manager(s)
     angr.manager.l.setLevel("DEBUG")
 
     # We want to explore to the "success" state (0x8048A94) while avoiding the

diff --git a/examples/whitehat_crypto400/solve.py b/examples/whitehat_crypto400/solve.py
@@ -49,7 +49,7 @@ def hook_length(state):
     # Simulation managers are a basic building block of the symbolic execution engine.
     # They track a group of states as the binary is executed, and allows for easier
     # management, pruning, and so forth of those states
-    sm = p.factory.simulation_manager(initial_state, immutable=False)
+    sm = p.factory.simulation_manager(initial_state)
 
     # here, we get to stage 2 using the simulation manager's explore() functionality.
     # This executes until at least one path reaches the specified address, and can