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.
hexterisk/bomblab-Angr
Solution to the CMU Binary Bomblab using concolic execution (Angr framework by Shellphish).
HTML