2026

• 27 May Decompiler Construction: Chapter 9 Coverage-Guided Fuzzing for Validation and Symbolic Execution
• 27 May Decompiler Construction: Chapter 8 Designing Safe Optimization Passes
• 27 May Decompiler Construction: Chapter 7 Reconstructing Control Flow using Graph Theory, SSA, and Types
• 27 May Decompiler Construction: Chapter 6 IR Semantics Edge Cases, Undefined Behavior, and Special Handling
• 27 May Decompiler Construction: Chapter 5 Lifting IL to IR
• 27 May Decompiler Construction: Chapter 4 Designing an Architecture-Agnostic IR
• 27 May Decompiler Construction: Chapter 3 Lifting Assembly to an Intermediate Language
• 27 May Decompiler Construction: Chapter 2 Designing an ISA-like Intermediate Language (IL)
• 27 May Decompiler Construction: Chapter 18 Practical Decompilation Results
• 27 May Decompiler Construction: Chapter 17 Lowering IR to Readable and Executable Code
• 27 May Decompiler Construction: Chapter 16 Memory Inferencing Safely
• 27 May Decompiler Construction: Chapter 15 Deobfuscation Mixed Boolean Arithmetic and Opaque Predicate Removal
• 27 May Decompiler Construction: Chapter 14 Modeling Inlined Functions as Virtual Function
• 27 May Decompiler Construction: Chapter 13 Safe Page-Level Optimization
• 27 May Decompiler Construction: Chapter 12 Abstract Modeling Pages, Regions, Self-Modifying Code, and Indirect Calls
• 27 May Decompiler Construction: Chapter 11 Control Flow Recovery and Branch Simplification
• 27 May Decompiler Construction: Chapter 10 Dead Code Elimination and IR Canonicalization
• 27 May Decompiler Construction: Chapter 1 Utilizing Dynamic Binary Instrumentation for Lifting
• 26 May Decompiler Construction: Chapter 0 Introduction