update lab7

SQLab · May 7, 2024 · 2f0151a · 2f0151a
1 parent 72cf8d1
commit 2f0151a
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/lab7/sol.py b/lab7/sol.py
@@ -1,11 +1,11 @@
 import angr, sys
+proj = angr.Project('./login')
+init_state = proj.factory.entry_state()
+simulation = proj.factory.simgr(init_state)
 def success_condition(state):
 	return b"Login successful" in state.posix.dumps(sys.stdout.fileno())
 def fail_condition(state):
 	return b"Login failed" in state.posix.dumps(sys.stdout.fileno())
-proj = angr.Project('./login')
-init_state = proj.factory.entry_state()
-simulation = proj.factory.simgr(init_state)
 simulation.explore(find=success_condition, avoid=fail_condition)
 solution = simulation.found[0]
 print(solution.posix.dumps(sys.stdin.fileno()))