meta: Report, Compositional Decompilation using LLVM IR

[mewmew]

• Issue report: Abstract [10h] #115 - Abstract
• Issue report: Introduction [6h] #17 - Introduction
  • Issue report: Project Aim and Objectives (part of Introduction) #19 - Project Aim and Objectives
  • Issue report: Deliverables (part of Introduction) [1h] #20 - Deliverables
  • Issue report: Disposition (part of Introduction) [3h] #21 - Disposition
• Issue report: Literature Review [2h] #22 - Literature Review
  • Issue report: The Anatomy of an Executable (part of Literature Review) [20h] #87 - The Anatomy of an Executable
  • Issue report: Decompilation Phases (part of Literature review) [2h] #28 - Decompilation Phases
    • Issue report: Binary Analysis (part of Literature Review) [3h] #86 - Binary Analysis
    • Issue report: Disassembly (part of Literature review) [2h] #29 - Disassembly
    • Issue report: Control Flow Analysis (part of Literature review) [10h] #34 - Control Flow Analysis
  • Issue report: Evaluation of Intermediate Representations (part of Literature review) [2h] #23 - Evaluation of Intermediate Representations
    • Issue report: REIL (part of Literature review) [5h] #25 - REIL
    • Issue report: LLVM IR (part of Literature review) [20h] #26 - LLVM IR
• Issue report: Related Work [3h] #35 - Related Work
  • Issue report: Native Code to LLVM IR (part of Related Work) [2h] #36 - Native Code to LLVM IR
    • Issue report: Dagger (part of Related Work) [2h] #46 - Dagger
    • Issue report: MC-Semantics (part of Related Work) [6h] #90 - MC-Semantics
  • Issue report: Hex-Rays Decompiler (part of Related Work) [6h] #45 - Hex-Rays Decompiler
• Issue report: Methodology [1h] #49 - Methodology
  • Issue report: Operational Prototyping (part of Methodology) [2h] #125 - Operational Prototyping
    • Issue report: Throwaway Prototyping (part of Methodology) [5h] #50 - Throwaway Prototyping
    • Issue report: Evolutionary Prototyping (part of Methodology) [5h] #124 - Evolutionary Prototyping
  • Issue report: Continuous Integration (part of Methodology) [2h] #53 - Continuous Integration
• Issue report: Requirements [6h] #48 - Requirements
  • Issue report: LLVM IR Library (part of Requirements) [3h] #121 - LLVM IR Library
  • Issue report: Control Flow Analysis Library (part of Requirements) [3h] #122 - Control Flow Analysis Library
  • Issue report: Control Flow Analysis Tool (part of Requirements) [3h] #123 - Control Flow Analysis Tool
• Issue report: Design [6h] #55 - Design
  • Issue report: System Architecture (part of Design) [8h] #59 - System Architecture
  • Issue report: Front-end Components (part of Design) [5h] #58 - Front-end Components
    • Issue report: Native Code to LLVM IR (part of Design) [2h] #128 - Native Code to LLVM IR
    • Issue report: Compilers (part of Design) [2h] #129 - Compilers
  • Issue report: Middle-end Components (part of Design) [5h] #57 - Middle-end Components
    • Issue report: Control Flow Graph Generation (part of Design) [5h] #130 - Control Flow Graph Generation
    • Issue report: Control Flow Analysis (part of Design) [5h] #131 - Control Flow Analysis
  • Issue report: Back-end Components (part of Design) [5h] #56 - Back-end Components
    • Issue report: Post-processing (part of Design) [6h] #133 - Post-processing
• Issue report: Implementation [3h] #60 - Implementation
  • Issue report: Language Considerations (part of Implementation) [3h] #143 - Language Considerations
  • Issue report: LLVM IR Library (part of Implementation) [5h] #144 - LLVM IR Library
  • Issue report: Go Bindings for LLVM (part of Implementation) [10h] #152 - Go Bindings for LLVM
  • Issue report: Subgraph Isomorphism Search Library (part of Implementation) [10h] #146 - Subgraph Isomorphism Search Library
  • Issue report: Documentation (part of Implementation) [4h] #61 - Documentation
• Issue report: Verification [25h] #116 - Verification
  • Issue report: Test Cases (part of Verification) #134 - Test Cases
    • Issue report: Code Coverage (part of Verification) #135 - Code Coverage
  • Issue report: Performance (part of Verification) [5h] #118 - Performance
    • Issue report: Profiling (part of Verification) #136 - Profiling
    • Issue report: Benchmarks (part of Verification) [4h] #67 - Benchmarks
  • Issue report: Security Assessment (part of Verification) [8h] #119 - Security Assessment
  • Issue report: Continuous Integration (part of Verification) [7h] #120 - Continuous Integration
    • Issue report: Source Code Formatting (part of Verification, CI) #137 - Source Code Formatting
    • Issue report: Coding Style (part of Verification, CI) #138 - Coding Style
    • Issue report: Code Correctness (part of Verification, CI) #139 - Code Correctness
    • Issue report: Build Status (part of Verification, CI) #140 - Build Status
    • Issue report: Test Cases (part of Verification, CI) #141 - Test Cases
    • Issue report: Code Coverage (part of Verification, CI) #142 - Code Coverage
• Issue report: Evaluation [10h] #64 - Evaluation
  • Issue report: LLVM IR Library (part of Evaluation) [10h] #153 - LLVM IR Library
    • Issue report: Essential Requirements (part of Evaluation, LLVM IR Library) #159 - Essential Requirements
    • Issue report: Desirable Requirements (part of Evaluation, LLVM IR Library) #160 - Desirable Requirements
  • Issue report: Control Flow Analysis Library (part of Evaluation) [10h] #154 - Control Flow Analysis Library
    • Issue report: Essential Requirements (part of Evaluation, Control Flow Analysis Library) #161 - Essential Requirements
    • Issue report: Important Requirements (part of Evaluation, Control Flow Analysis Library) #162 - Important Requirements
    • Issue report: Desirable Requirements (part of Evaluation, Control Flow Analysis Library) #163 - Desirable Requirements
  • Issue report: Control Flow Analysis Tool (part of Evaluation) [10h] #155 - Control Flow Analysis Tool
    • Issue report: Essential Requirements (part of Evaluation, Control Flow Analysis Tool) #164 - Essential Requirements
• Issue report: Conclusion #69 - Conclusion
  • Issue report: Project Summary (part of Conclusion) [4h] #70 - Project Summary
  • Issue report: Future Work (part of Conclusion) [10h] #68 - Future Work
    • Issue report: Design Validation (part of Conclusion) #156 - Design Validation
    • Issue report: Reliability Improvements (part of Conclusion) #157 - Reliability Improvements
    • Issue report: Extended Capabilities (part of Conclusion) #158 - Extended Capabilities
  • Issue report: Personal Development (part of Conclusion) #72 - Personal Development
  • Issue report: Final Thoughts (part of Conclusion) #73 - Final Thoughts

[mewmew]

Once finished, the report included 75 sections and subsections, not including the abstract and the appendices.