A late writeup to InCTF 2019 Easy-VM 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/2019/inctf/easy-vm/run.py](https://github.com/nganhkhoa/ctf-writeup/blob/master/2019/inctf/easy-vm/run.py)

Original writeup (https://github.com/nganhkhoa/ctf-writeup/blob/master/2019/inctf/easy-vm/run.py).