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