razyos/firmware-ai-reviewer

firmware-ai-reviewer は、TI CC2652R7（ARM Cortex‑M4F）+ FreeRTOS 向け組込み C ファームウェアを対象にした、決定論的な「プロンプト連鎖型」静的解析ツールです。組込み固有の相反する制約（RTOS、安全性、ハードウェアタイミング等）を単一プロンプトで扱うと検出精度が落ちる問題に対し、ドメインごとの専門家プロンプトを動的に組み立て並列実行することで誤検知と文脈希薄化を防ぎます。主な利用者は組込みソフトウェア開発者やコードレビュア、CI に組み込みたい品質保証担当者です。 主な機能： - ソースとローカルヘッダをスキャンしてヘッダをインライン挿入（行番号保持） - ルータでドメイン（例：RTOS, ISR, DMA）を分類、該当する専門家プロンプトのみ読み込み - 各専門家は独自ルールのみを受け取り、reasoning_scratchpad（思考記録）を強制してから所見を出力 - 出力は型付き JSON（line_number, severity, rule, description, fix）で温度0.0の決定論的動作 - 評価用テストスイート（既知のバグを仕込んだ C ファイル）でプロンプト変更の回帰を計測可能 - dev/demo のモデルプロファイル切替、CLI による単体レビュー/評価実行 ルールは ISR-/RTOS-/MEM-/HW-/PWR-/SAF- 等に分類され、ヘッダ注入や評価スイートにより実務的な検出精度と再現性を重視しています。