Symbolic execution with angr
```python#!/usr/bin/env python3import angr, time, claripy
BINARY='./jack'OUTFILE='out't=time.time()proj = angr.Project(BINARY, auto_load_libs=False)print(proj.arch)print(proj.filename)print("Entry: 0x%x" % proj.entry)
password = claripy.BVS("flag", 8*16)state = proj.factory.entry_state(args=[BINARY, OUTFILE], stdin=password)simgr = proj.factory.simulation_manager(state)simgr.explore(find=lambda s: b"Good Work!" in s.posix.dumps(1), avoid=lambda s: b"Try harder" in s.posix.dumps(1))
print(simgr.found[0].posix.dumps(0))print(time.time() - t, "seconds")```