When Qiling Framework Meets Symbolic Execution

Explore the integration of symbolic execution into the Qiling Framework in this HITB2021AMS conference talk. Delve into the reasons behind adding a symbolic execution module to Qiling Framework and learn how the team overcame challenges in the process. Witness exciting demonstrations of the new engine in action, solving complex challenges through symbolic execution. Gain insights into the fusion of dynamic analysis and symbolic execution, opening up new possibilities for reverse engineering and binary analysis. Discover the latest developments in Qiling Framework, including a special demonstration of its new EVM engine. Led by KaiJern Lau, Ziqiao Kong, and Chen Xu Wu, experienced security researchers from The ShepherdLab, this talk offers a comprehensive look at advancing binary analysis techniques across multiple architectures.

Introduction
Why Qiling Framework
Virtual Machines
CPU Architecture
Cross Platform
Similar Projects
Tools
Instrumentation
Talk
Integration
Symbolic Execution
Demo
Demonstration
Conclusion