前言

昨天說到skills，今天來看一些既有的 autometic firmeare vuln-driven 架構實現

0x01 Firmcure

主要支援了四大類型的工具:

1. 靜態逆向 Radare2 工具 (x12)
2. GDB 工具 (x7)
3. 系統工具 (x22)
4. 驗證工具 (x1)
   並且支援了相當完整的流程步驟

個人認為是一個相對十分完整的自動化韌體漏洞挖掘工具，同時也有寫成學術論文
ref:

┌─────────────────────────────────────────────────────────────────┐
│                       FirmCure 流水線                            │
│                                                                 │
│  ┌──────────┐    ┌──────────────┐    ┌──────────────────────┐   │
│  │ Phase 1  │───▶│   Phase 2    │───▶│      Phase 3         │   │
│  │ 韌體分析  │    │  重託管環境    │    │    執行時干預        │   │
│  └──────────┘    └──────────────┘    └──────────────────────┘   │
│       │                │                      │                 │
│       ▼                ▼                      ▼                 │
│  ┌──────────┐    ┌──────────────┐    ┌──────────────────────┐   │
│  │ 分析專家  │    │ 重託管工程師  │    │ 總指揮 + 專家團隊    │   │
│  └──────────┘    └──────────────┘    │ (崩潰、檔案、網路、   │   │
│                                     │  Web、通用)           │   │
│                                     └──────────────────────┘   │
└─────────────────────────────────────────────────────────────────┘