Semantic firmware analysis for vulnerability researchers.
- Overview: What Ablation is, how the analysis model works, and what each tool does.
- Getting Started: Install Ablation and run your first sweep in 15 minutes.
- User Guide: Session setup, tool ordering, CLI usage, and worked examples.
- Decompiler Concepts: IR lifter vs. decompiler, the three-stage pipeline, and the full
arch=reference for every backend. - Tool and Mode Selection: Task → tool lookup table for every analysis job.
- Reverse Engineering Workflow: engagement workflow.
- Module Reference: Per-module constructor patterns, key methods, and output formats for every Ablation analyzer.
- Known Anomalies: Per-ISA taint tracker false-negative conditions and workarounds.
- Full Module Index: Searchable catalog of all modules with descriptions.
- Workflows: Task-focused step-by-step walkthroughs.
- Architecture & Design: Data flow, design decisions, ISA backend tiers.
- Development & Contributing: Project structure, custom scanner workflow, FORGE gate, build and test.
- Safety Manual: Intended use, prerequisites for reliable results, known false negative categories.
- Ablation Standards: NIST SP 800-218, CISA Secure by Design, MIL-HDBK-115C compliance matrix.
- Audit Transparency: What is disclosed, what is not, and how limitations are communicated.