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.
Code Deobfuscation - Intertwining Dynamic, Static and Symbolic Approaches
Overview
Syllabus
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
Taught by
Black Hat
Related Courses
-
Backward-Bounded DSE - Targeting Infeasibility Questions on Obfuscated Codes
-
A Review of Modern Code Deobfuscation Techniques
-
Logic Against Sneak Obfuscated Malware
-
Breaking State-of-the-Art Binary Code Obfuscation via Program Synthesis
-
Miasm - Reverse Engineering Framework
-
Contemporary Automatic Program Analysis
