| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2026-03-17 10:55 制御フローグラフの探索具合に基づきコーパスへの保存を制御するファジング ○村木乃乃香・杉山優一・塩谷亮太（東大）  CPSY2025-74 DC2025-146 |
|
| 抄録 | （和） | ソフトウェアの安全性を検証するために，ファジングと呼ばれる自動テスト手法が広く用いられている． ファジングは，入力を自動的に生成してプログラムを繰り返し実行することで，バグや脆弱性を発見する手法である． その代表的な手法であるCoverage-guided Fuzzing（CGF）は，カバレッジ情報に基づいてプログラムの制御フローグラフを網羅的に探索する． CGFでは，制御フローグラフ上で新たな状態に到達した入力をシードとしてコーパスに保存し，その変異により近傍の状態を探索することを繰り返す． 本研究では，より探索範囲を広げられるシードほど有望であるとし，各入力の制御フローグラフの探索具合に基づいてシードとしての有望さを見積もる． この見積もりに基づいて，有望と判定されたシードを優先的にコーパスへ保存する手法を提案する． 評価の結果，実運用で広く用いられているAFL++と比較して，複数のベンチマークで短時間でより高いカバレッジを達成できることを示した． |
| （英） | Fuzzing is widely used as an automated testing technique to assess software security. It discovers bugs and vulnerabilities by automatically generating inputs and repeatedly executing a program. A representative approach, Coverage-guided Fuzzing (CGF), systematically explores a program’s control-flow graph based on coverage information. In CGF, inputs that reach previously unseen states in the control-flow graph are stored in a corpus as seeds, and the fuzzer repeatedly mutates them to explore neighboring states. In this study, we assume that seeds that can expand the explored region more widely are more promising, and estimate the promise of each seed based on how thoroughly its input has explored the control-flow graph. Based on this estimate, we propose a method that preferentially retains seeds judged to be promising in the corpus. Our evaluation shows that, compared with AFL++, which is widely used in practice, the proposed method achieves higher coverage in a shorter time on multiple benchmarks. |
|
| キーワード | （和） | カバレッジガイデッドファジング / エッジカバレッジ / 制御フローグラフ / / / / / |
| （英） | Coverage-guided Fuzzing / edge coverage / control-flow graph / / / / / | |
| 文献情報 | 信学技報, vol. 125, no. 401, CPSY2025-74, pp. 131-136, 2026年3月. | |
| 資料番号 | CPSY2025-74 | |
| 発行日 | 2026-03-08 (CPSY, DC) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | CPSY2025-74 DC2025-146 |
|
| 研究会情報 | |
| 研究会 | DC CPSY IPSJ-SLDM IPSJ-EMB IPSJ-ARC |
| 開催期間 | 2026-03-15 - 2026-03-17 |
| 開催地（和） | サン・オリーブ オリーブホール |
| 開催地（英） | Sun-Olive Olive Hall |
| テーマ（和） | 組込み技術とネットワークに関するワークショップ ETNET2026 |
| テーマ（英） | ETNET2026 |
| 講演論文情報の詳細 | |
| 申込み研究会 | CPSY |
| 会議コード | 2026-03-DC-CPSY-SLDM-EMB-ARC |
| 本文の言語 | 日本語 |
| タイトル（和） | 制御フローグラフの探索具合に基づきコーパスへの保存を制御するファジング |
| サブタイトル（和） | |
| タイトル（英） | Corpus Saving Control Based on Control-Flow Graph Exploration in Fuzzing |
| サブタイトル（英） | |
| キーワード(1)（和/英） | カバレッジガイデッドファジング / Coverage-guided Fuzzing |
| キーワード(2)（和/英） | エッジカバレッジ / edge coverage |
| キーワード(3)（和/英） | 制御フローグラフ / control-flow graph |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 村木 乃乃香 / Nonoka Muraki / ムラキ ノノカ |
| 第1著者 所属（和/英） | 東京大学 (略称： 東大) The University of Tokyo (略称： UTokyo) |
| 第2著者 氏名（和/英/ヨミ） | 杉山 優一 / Yuichi Sugiyama / スギヤマ ユウイチ |
| 第2著者 所属（和/英） | 東京大学 (略称： 東大) The University of Tokyo (略称： UTokyo) |
| 第3著者 氏名（和/英/ヨミ） | 塩谷 亮太 / Ryota Shioya / シオヤ リョウタ |
| 第3著者 所属（和/英） | 東京大学 (略称： 東大) The University of Tokyo (略称： UTokyo) |
| 講演者 | 第1著者 |
| 発表日時 | 2026-03-17 10:55:00 |
| 発表時間 | 20分 |
| 申込先研究会 | CPSY |
| 資料番号 | CPSY2025-74, DC2025-146 |
| 巻番号（vol） | vol.125 |
| 号番号（no） | no.401(CPSY), no.402(DC) |
| ページ範囲 | pp.131-136 |
| ページ数 | 6 |
| 発行日 | 2026-03-08 (CPSY, DC) |
[研究会発表申込システムのトップページに戻る]