https://github.com/adrianherrera/unbreakable-ctf-s2e

Code for my blog post on solving Google's Unbreakable CTF challenge with S2E
https://github.com/adrianherrera/unbreakable-ctf-s2e

ctf s2e symbolic-execution

Last synced: 3 months ago
JSON representation

Code for my blog post on solving Google's Unbreakable CTF challenge with S2E

• Host: GitHub
• URL: https://github.com/adrianherrera/unbreakable-ctf-s2e
• Owner: adrianherrera
• Created: 2019-03-09T06:32:54.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2019-04-25T09:31:55.000Z (about 7 years ago)
• Last Synced: 2025-01-17T22:43:29.753Z (over 1 year ago)
• Topics: ctf, s2e, symbolic-execution
• Language: C++
• Homepage: https://adrianherrera.github.io/
• Size: 3.91 KB
• Stars: 3
• Watchers: 2
• Forks: 1
• Open Issues: 1
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# Solving a CTF Challenge with S2E

This code accompanies my blog post [Solving a CTF Challenge with S2E](https://adrianherrera.github.io/post/google-ctf-2016/).

This code should be copied into the directory of the same name in your S2E environment, located at `$S2EDIR`.

* libs2eplugins: `$S2EDIR/source/s2e/libs2eplugins`