When Qiling Framework Meets Symbolic Execution

Ever since the release of Qiling Framework in 2019, It provides reverse engineers with the best instrumentation experience across the industry. Various tools build on top of Qiling Framework for dynamic analysis purposes. But, there is one thing missing in the framework, symbolic execution.

Symbolic execution is one of the most powerful strategies to automate binary analysis. By integrating Qiling Framework and Radare2 ESIL(an open source and target neural intermediate language), Qiling Framework is able to bring symbolic execution to all the supported architecture. As always, a symbolic execution engine with lots of high level APIs.

In this talk, we will discuss the reason why we decided to add a symbolic execution module into Qiling Framework. We will also share the problems and how we manage to solve all the challenges.

There will also be few very exciting demonstrations on how the engine works and how we can solve challenges with this new symbolic execution engine. 

With this new module added into Qiling Framework, it will be a brand new experience in both dynamic analysis and symbolic execution world. Hope to see more exciting ideas and tools built on top of the Qiling Framework.

Finally, specials guess appearance, Qiling Framework latest EVM engine DEMO!

Location: Track 2 Date: May 27, 2021 Time: 2:30 pm - 3:30 pm Kaijern Lau Kong ZiQiao Wu ChenXu