$24
Symbolic Execution
This week's homework is about using Symbolic Execution to aid our reversing. Angr is another tool we are adding to our arsenal and for this assignment you must use Angr to solve any reversing challenge of your choice! A list of CTF website and challenges will be provided in the slack channel, #resources.
This weeks slides and all the Angr documentations should be useful. We are able to assist, though easier challenges are more manageable for everyone. Any di culty challenge is ne, though if it was too easy, try doing another one! Also your code does not need to solve the challenge, if your code aids you in solving the challenge by other means, then that is okay and very interesting to me!
Your write-up should include the source code, a description of how you used Angr to solve the challenge you found, something to prove the challenge was solved (screen-shot or hash), and link to the challenge. You may not do any challenges that already have Angry scripts from the angr-doc/examples repo (see slides). We do recommend that you use those examples as references.
Academic integrity reminder: Please do not copy a write-up you nd online and pass it o as your own.
Solution: