[論文レビュー] Fuzzing: Art, Science, and Engineering.

Valentin J. M. Manès, Hyung-Seok Han+5 more|arXiv (Cornell University)|Dec 1, 2018

Information and Cyber Security被引用数 26

ひとこと要約

本論文は、現代のファジングにおけるアート、サイエンス、エンジニアリングの知見を統合した包括的なファジングの統一モデルと包括的分類法を提示する。ファジングの各段階における設計意思決定を体系的に分析し、脆弱性発見分野における継続的な研究開発を統合的かつ指針的に導くための整合的なフレームワークを提供する。

ABSTRACT

Among the many software vulnerability discovery techniques available today, fuzzing has remained highly popular due to its conceptual simplicity, its low barrier to deployment, and its vast amount of empirical evidence in discovering real-world software vulnerabilities. At a high level, fuzzing refers to a process of repeatedly running a program with generated inputs that may be syntactically or semantically malformed. While researchers and practitioners alike have invested a large and diverse effort towards improving fuzzing in recent years, this surge of work has also made it difficult to gain a comprehensive and coherent view of fuzzing. To help preserve and bring coherence to the vast literature of fuzzing, this paper presents a unified, general-purpose model of fuzzing together with a taxonomy of the current fuzzing literature. We methodically explore the design decisions at every stage of our model fuzzer by surveying the related literature and innovations in the art, science, and engineering that make modern-day fuzzers effective.

研究の動機と目的

• ファジング文献における複雑化と断片化の増大に応えるために、一貫性のある包括的フレームワークを提供すること。
• ファジングパイプラインの全段階にわたる主要な設計意思決定を特定し、体系化すること。
• ファジング分野における多様な革新を、理解と開発を向上させるための単一で汎用的なモデルに統合すること。
• ソフトウェアセキュリティおよびファジングツール開発分野の研究者・実務家にとっての基盤的リファレンスとして機能すること。
• ヒューリスティック手法（アート）、実証的検証（サイエンス）、実装の工学的側面（エンジニアリング）の間の相互作用を明確にすること。

提案手法

• ファジングを入力生成、実行、フィードバック収集、変異の4つの明確で分析可能な段階に分解する汎用ファジャーモデルを提唱する。
• 各段階における設計選択に基づいて、既存のファジング技術を分類する分類法を導入する。
• 文献を3つの次元で分析する：アート（ヒューリスティック戦略）、サイエンス（実証的評価）、エンジニアリング（実装の効率性）。
• 遺伝的アルゴリズム、カバレッジ指向の変異、記号実行などの既存ファジング技術を、提案されたモデルおよび分類法にマッピングする。
• 体系的文献レビューを用いて、入力生成、フィードバックメカニズム、変異戦略における繰り返しパターンと革新を同定する。
• 現代のファジャーが、3つの次元からの技術を統合することで、高い脆弱性発見率を達成できることを示す。

実験結果

リサーチクエスチョン

• RQ1 現代のファジング技術に多様な設計選択を統合的に表現するための統一モデルをどのように構築できるか？
• RQ2 ファジングパイプラインの各段階における主要な設計意思決定は何か。それらは効果性にどのように影響を与えるか？
• RQ3 ファジングのアート、サイエンス、エンジニアリングの3つの次元は、どのように相互に作用し、ファジャーの効果性に寄与するか？
• RQ4 現在のファジング研究の蓄積から、一貫性とナビゲーション性を向上させるための体系的分類法をどのように導出できるか？
• RQ5 ヒューリスティック、実証的、実装技術の統合を形式化することで、将来のファジャー開発をどのように指針づけられるか？

主な発見

• 統一ファジャーモデルが成功裏に構築され、入力生成、実行、フィードバック、変異の各段階における既存ファジング技術の体系的分類が可能になった。
• 分類法により、フィードバック指向の変異やカバレッジ指向の戦略といった設計選択の繰り返しパターンが明らかになった。これらは現代のファジングを支配する主要な要素である。
• 高性能なファジングには、ヒューリスティック手法（アート）、実証的検証（サイエンス）、効率的な実装（エンジニアリング）の統合が不可欠である。
• モデルと分類法は、脆弱性発見分野における理解を深め、イノベーションを加速させる共通の基盤フレームワークを提供する。
• ファジング分野の進展は、アルゴリズム的進歩にとどまらず、工学的妥当性のトレードオフと実証的検証の実践に深く根ざしていることが分析で示された。
• 本論文は、現在の文献におけるギャップを同定し、ファジャー設計における各次元（アート、サイエンス、エンジニアリング）の役割を明確にすることで、今後の研究の基盤を確立した。