Skip to content

Commit

Permalink
Merge pull request #591 from Cutiemango/lab7
Browse files Browse the repository at this point in the history
[LAB7] 312551068
  • Loading branch information
TaiYou-TW authored Jun 27, 2024
2 parents 952f8df + 71a0555 commit 894de38
Showing 1 changed file with 19 additions and 0 deletions.
19 changes: 19 additions & 0 deletions lab7/sol.py
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
import angr, sys

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()))

0 comments on commit 894de38

Please sign in to comment.