Code Deobfuscation - Intertwining Dynamic, Static and Symbolic Approaches

Explore code deobfuscation techniques in this 51-minute Black Hat conference talk. Delve into the world of software protection and learn how obfuscation is used to slow down program analysis. Discover the interplay between dynamic, static, and symbolic approaches to deobfuscation. Examine applications in the video game industry and beyond. Gain insights into opaque predicates, constant tempering, disassembly, and symbolic execution. Understand the benefits of dynamic symbolic execution and its role in code analysis. Follow along as speakers Robin David and Sébastien Bardin break down complex concepts, provide real-world examples, and offer valuable takeaways for security professionals and software analysts.

Introduction
Objectives
Agenda
What is Code Deobfuscation
Applications of Deobfuscation
Opak Predicate
Opak Constant Tempering
Disassembly
Symbolic Execution
Why use a Dynamic Symbolic Execution
Dynamic Symbolic Summary
Dynamic Symbolic Execution
External
Analysis Context
Analysis Results
Takeaways
Questions