Hacker News
- CMU Binary Bomb meets Symbolic Execution and Radare http://ctfhacker.com/ctf/python/symbolic/execution/reverse/radare/2015/11/28/cmu-binary-bomb-flag2.html 4 comments
- Carnegie Melon binary bomb toppled by Radare and Angr - Writeup in Symbolic Execution http://ctfhacker.com/ctf/python/symbolic/execution/reverse/radare/2015/11/28/cmu-binary-bomb-flag2.html 9 comments netsec
Linked pages
- Boolean satisfiability problem - Wikipedia http://en.wikipedia.org/wiki/Boolean_satisfiability_problem 45 comments
- angr http://angr.io/ 3 comments
- GitHub - radareorg/radare2: UNIX-like reverse engineering framework and command-line toolset https://github.com/radare/radare2 3 comments
- 6.858 Fall 2014 Lecture 10: Symbolic execution - YouTube https://www.youtube.com/watch?v=mffhPgsl8Ws 0 comments
Related searches:
Search whole site: site:ctfhacker.com
Search title: CTF Hacker - Spreading the knowledge
See how to search.