Categories
- Chapter 0 - Introduction 1 post
- Chapter 1 - Utilizing Dynamic Binary Instrumentation for Lifting 1 post
- Chapter 10 - Dead Code Elimination and IR Canonicalization 1 post
- Chapter 11 - Control Flow Recovery and Branch Simplification 1 post
- Chapter 12 - Abstract Modeling Pages 1 post
- Chapter 13 - Safe Page-Level Optimization 1 post
- Chapter 14 - Modeling Inlined Functions as Virtual Function 1 post
- Chapter 15 - Recovering Virtual Functions 1 post
- Chapter 16 - Deobfuscation Mixed Boolean Arithmetic and Opaque Predicate Removal 1 post
- Chapter 17 - Lowering IR to Readable and Executable Code 1 post
- Chapter 18 - Practical Decompilation Results and Pipeline Evaluation 1 post
- Chapter 19 - Practical Decompilation Results and Pipeline Evaluation 1 post
- Chapter 2 - Designing an ISA-like Intermediate Language (IL) 1 post
- Chapter 3 - Lifting Assembly to an Intermediate Language 1 post
- Chapter 4 - Designing an Architecture-Agnostic IR 1 post
- Chapter 5 - Lifting IL to IR 1 post
- Chapter 6 - IR Semantics Edge Cases 1 post
- Chapter 7 - Reconstructing Control Flow using Graph Theory 1 post
- Chapter 8 - Designing Safe Optimization Passes 1 post
- Chapter 9 - Coverage-Guided Fuzzing for Validation and Symbolic Execution 1 post