A late writeup to De1CTF 2020 Code Runner as an Introduction to Symbolic Execution.
Blog post: [https://blog.efiens.com/post/symbolic-execution-introduction/](https://blog.efiens.com/post/symbolic-execution-introduction/)
Solve script: [https://github.com/nganhkhoa/ctf-writeup/blob/master/2020/de1ctf/code_runner/code_runner.py](https://github.com/nganhkhoa/ctf-writeup/blob/master/2020/de1ctf/code_runner/code_runner.py)
