ISA 20
- 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
- Chapter 3 - Lifting Assembly to an Intermediate Language
- Decompiler Construction: Chapter 2 - Designing an ISA-like Intermediate Language (IL)
- Decompiler Construction: Chapter 19 - Practical Decompilation Results and Pipeline Evaluation
- Decompiler Construction: Chapter 18 - Practical Decompilation Results and Pipeline Evaluation
- Decompiler Construction: Chapter 17 - Lowering IR to Readable and Executable Code
- Decompiler Construction: Chapter 16 - Deobfuscation Mixed Boolean Arithmetic and Opaque Predicate Removal
- Decompiler Construction: Chapter 15 - Recovering Virtual Functions
- 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