aflpp

aflpp skill の概要

AFL++ は、fuzzing の一般論ではなく、aflpp を実務で再現性高く使いたいチーム向けの fuzzing skill です。セキュリティ監査担当者、脆弱性研究者、そして C/C++ コードベースに対してマルチコアの coverage-guided fuzzing を実行し、クラッシュを実用的な指摘に変えたい開発者に最適です。

aflpp は何のための skill か

aflpp は、AFL++ を実際のテスト対象に合わせて使えるようにします。たとえば、ビルドモードの選定、ハーネスの準備、キャンペーンの開始、結果の解釈までを支援します。aflpp skill が特に役立つのは、対象を Clang または GCC でビルドでき、単一スレッドの fuzzer より高いスループットが欲しいときです。

この skill を入れる価値がある理由

この aflpp skill の主な価値は、意思決定の支援とワークフローの見通しの良さにあります。誤った instrumentation モードを使う、seed が不足する、AFL++ をそのまま使える black-box scanner のように期待するといった、よくあるセットアップミスを避けやすくなります。aflpp for Security Audit では、一回きりのデモ実行ではなく、継続的な campaign 作業を支えられる点が重要です。

aflpp が向いているケース

aflpp は、成熟した fuzzing 機能、並列実行、そしておもちゃの例を超えて拡張できるワークフローが必要なときに使います。ハーネス品質、ビルドフラグ、corpus 戦略、クラッシュのトリアージを考える必要があるなら、短いプロンプトで済ませるよりこちらが適しています。

aflpp skill の使い方

skill ファイルをインストールして確認する

trailofbits/skills リポジトリから skill をインストールし、まず SKILL.md を読みます。エージェントがファイル参照に対応しているなら、plugins/testing-handbook-skills/skills/aflpp 配下の周辺パスも確認し、リンク先の手順が対象プラットフォームやビルドシステムに影響するかを見てください。この aflpp install の段階では、自分のプロジェクトに当てはめる前に、skill 自体のガイダンスを確かめることが要点です。

漠然とした目的を使えるプロンプトに変える

よい aflpp usage の依頼には、対象、言語、ビルドシステム、目的を含めるべきです。たとえば、「CMake でビルドされた C++ ライブラリに aflpp を設定し、parser のエントリポイント向けに最小限のハーネスを作成し、Ubuntu 22.04 向けの seed ファイルと compile flag を提案してほしい」といった形です。これなら「このプロジェクトを fuzz したい」よりもずっと良く、skill が方針を選びやすくなり、一般論に流れにくくなります。

skill が想定している workflow に従う

実践的な aflpp guide の流れは通常、攻撃対象領域の特定、小さなハーネスの作成、AFL++ 対応 instrumentation でのビルド、seed corpus の作成、fuzzer の起動、そして再現可能な入力でのクラッシュのトリアージ、という順番です。ハーネスの工程を飛ばしたり、対象名をあいまいにしたりすると、出力品質はすぐに落ちます。aflpp usage では、サンプル入力の形式、parser の境界、sanitizer、時間制限、コンテナ実行などの制約を含めると、skill が最も力を発揮します。

リポジトリの読み取りで出力を改善する

実装支援を求める前に、SKILL.md と、インストール、クイックスタート、プラットフォーム注記を含む参照済みのセットアップ項目をざっと確認してください。skill に環境依存の手順が書かれているなら、その内容をプロンプトにも反映させます。最も有用なのは「fuzzing したい」という抽象表現ではなく、「ここが関数境界で、seed の型はこれ、ビルドツールはこれ、クラッシュ予算はこれ」という具体情報です。

aflpp skill の FAQ

aflpp は上級者向けだけですか？

いいえ。aflpp skill は、対象をビルドできてエントリポイントを明確に説明できる初心者でも使えます。初心者に足りないのは、概念というより具体的なハーネスとビルド計画であることが多いです。その入力を出せるなら、skill は十分役立ちます。

aflpp は通常のプロンプトとどう違いますか？

通常のプロンプトは、高レベルな fuzzing アドバイスにとどまりがちです。aflpp は、AFL++ 向けの具体的な workflow が必要なとき、つまり入力準備、正しいビルド、拡張可能な campaign の実行方法が欲しいときに強みがあります。特に aflpp for Security Audit では、実際の coverage に効く実行詳細に焦点を当てる点が有用です。

aflpp を使わないほうがよいのはどんなときですか？

プロジェクトがビルドできない場合、ハーネスなしの純粋な black-box testing が必要な場合、あるいは一回限りの脆弱性ブレインストーミングだけしたい場合は、aflpp は選ばないでください。そうしたケースでは、もっと軽いプロンプトや別の testing skill のほうが合っていることがあります。

aflpp skill をより良く使うには

skill に対象の境界を正確に伝える

最良の aflpp 結果は、対象関数、fuzz したいファイルやストリームの形式、既知のクラッシュ症状、期待される有効・無効入力範囲など、正確な入力から生まれます。対象が parser なら、解析の開始点と終了点を明示してください。service なら、入力をプロセスへどう流し込むかを伝えてください。

ビルド条件と環境制約を伝える

コンパイラ、OS、コンテナの制限、sanitizer を使えるかどうかを明記してください。aflpp install やセットアップの判断では、その前提で wrapper の選択、instrumentation flag、反復速度が変わります。これらの制約を示さないと、理論上は正しくても、実環境では扱いにくいセットアップを勧められることがあります。

ゼロからやり直すのではなく、seed と crash から改善する

最初の実行後は、corpus を改善し、ノイズの多いクラッシュを減らし、coverage が頭打ちになった理由やハーネスが不安定な理由を skill に説明させてください。より良い aflpp usage の出力を得る最短ルートは、失敗したコマンド、crash trace、サンプル seed セットを返して、次の反復でより具体的にしてもらうことです。

手順だけでなく、判断も求める

aflpp skill を使うときは、ハーネス戦略、instrumentation モード、seed の扱い方のどれを選ぶべきかを skill に判断させ、そのトレードオフを説明させてください。単なる手順の列挙を頼むより、こちらのほうが良い aflpp guide 出力につながります。skill が、なぜそのセットアップが対象と監査目的に合っているのかを説明できるからです。