Triton and Symbolic Execution on GDB

Presented at DEF CON China Beta (2018), May 11, 2018, 4 p.m. (60 minutes)

I Introduce the concept of symbolic execution and Triton. (https://github.com/JonathanSalwan/Triton). Detailed steps of how I design and develop SymGDB(https://github.com/SQLab/symgdb). I Will also explain the architecture design, what kind of problem I met, and how to debug when I develope SymGDB. At the end, compare the differences between Triton and other symbolic execution framework.


Presenters:

  • Weibo Chen
    Weibo Chen, is Co-founder of NCTUCSC(https://www.facebook.com/NCTUCSC/) and member of Bamboofox CTF team. Recently, he got his master degree from National Chiao Tung University. He focuses on symbolic execution and binary exploit. His passion is for security education and security research. He loves to share knowledge with other people.

Links:

Similar Presentations: