GitHub - hexterisk/bomblab-Angr: Solution to the CMU Binary Bomblab using concolic execution (Angr framework by Shellphish).

bomblab-Angr

Solution to the 64bit CMU bomblab binary using Angr. This repository has been setup as a follow-along/try-it-yourself to go with this blog post.

View the PPT for a quick intro to Symbolic Execution.

Visit the index for the links to different phases.

Name		Name	Last commit message	Last commit date
css		css
img		img
js		js
Fuzzing and Symbolic Execution.pptx		Fuzzing and Symbolic Execution.pptx
Phase 1 x86_64-Copy1.ipynb		Phase 1 x86_64-Copy1.ipynb
Phase 1 x86_64.html		Phase 1 x86_64.html
Phase 1 x86_64.ipynb		Phase 1 x86_64.ipynb
Phase 2 x86_64.html		Phase 2 x86_64.html
Phase 2 x86_64.ipynb		Phase 2 x86_64.ipynb
Phase 3 x86_64.html		Phase 3 x86_64.html
Phase 3 x86_64.ipynb		Phase 3 x86_64.ipynb
Phase 4 x86_64.html		Phase 4 x86_64.html
Phase 4 x86_64.ipynb		Phase 4 x86_64.ipynb
Phase 5 x86_64.html		Phase 5 x86_64.html
Phase 5 x86_64.ipynb		Phase 5 x86_64.ipynb
Phase 6 x86_64.html		Phase 6 x86_64.html
Phase 6 x86_64.ipynb		Phase 6 x86_64.ipynb
README.md		README.md
Secret Phase x86_64.html		Secret Phase x86_64.html
Secret Phase x86_64.ipynb		Secret Phase x86_64.ipynb
bomb64		bomb64
index.html		index.html