4 分で読了
0 views

バイトの重要度は均一ではない:ファジングのためのニューラルバイトシーブ

(Not all bytes are equal: Neural byte sieve for fuzzing)

さらに深い洞察を得る

AI戦略の専門知識を身につけ、競争優位性を構築しませんか?

AIBR プレミアム
年間たったの9,800円で
“AIに詳しい人”として
一目置かれる存在に!

プレミア会員になって、山ほどあるAI論文の中から効率よく大事な情報を手に入れ、まわりと圧倒的な差をつけませんか?

詳細を見る
【実践型】
生成AI活用キャンプ
【文部科学省認可】
満足度100%の生成AI講座
3ヶ月後には、
あなたも生成AIマスター!

「学ぶ」だけではなく「使える」ように。
経営者からも圧倒的な人気を誇るBBT大学の講座では、3ヶ月間質問し放題!誰1人置いていかずに寄り添います。

詳細を見る

田中専務

拓海先生、最近うちのエンジニアがファジングという言葉をよく持ち出すのですが、正直言って何をやっているのかよくわからないのです。要するに何の役に立つんでしょうか

AIメンター拓海

素晴らしい着眼点ですね!大丈夫、簡単に説明しますよ。ファジングはソフトウェアにとんでもない入力を突っ込んで不具合や脆弱性を見つける手法です。投資対効果という経営視点では、事前に脆弱性を見つけて修正することで後の事故対応費用を下げられるんですよ

田中専務

なるほど。ですがうちの現場はレガシーも多く、無作為に試すだけでは時間とコストがかかりすぎるはずです。そこにAIがどう絡むのですか

AIメンター拓海

いい質問ですよ。要点を3つでまとめますね。1つ目、無作為な変異は多くが無駄であり時間がかかる。2つ目、過去の探索データから“効きやすい場所”を学べば試行回数を減らせる。3つ目、その学習を使って変異を選別すると効率的に脆弱性を見つけられるんです

田中専務

それは重要ですね。具体的にはどの単位で“効きやすい場所”を見つけるのですか。コード行ですか、関数ですか、それともファイルのどのバイトですか

AIメンター拓海

良い観点ですね!この論文のアイデアは「バイト単位」で効きやすさを学ぶことです。つまりファイルや入力の各バイトについて、そこを変えるとプログラムの挙動が変わりやすいかを予測するのです。これにより無駄な変異を事前に弾けますよ

田中専務

これって要するに、入力ファイルの中で“当たり”のバイトをAIに教えてもらって、そこでだけ試すということですか

AIメンター拓海

まさにその通りですよ、田中専務。簡潔に言えば、過去の試行で有効だった変異のパターンを学習し、次の試行ではその確率が高い場所に重点的に変異を加えるということです。結果としてカバレッジが効率的に広がり、クラッシュ発見が増えます

田中専務

導入コストや現場運用面が心配です。学習モデルを動かすにはDataがいるでしょうし、うちのように小さな製造現場で何千回も実行できる余裕はありません

AIメンター拓海

そこも押さえておくべき点ですよ。要点を3つで整理します。1つ目、モデルは既存のファジング履歴データからオフラインで学習できるため初期投資は限定的です。2つ目、学習済みモデルは軽量でローコストで推論できるので現場でも運用可能です。3つ目、最終的には総試行回数を減らせるため総コストは下がる可能性が高いです

田中専務

わかりました。まずは過去のテストログで試してみて、効果が見えたら本番運用を検討するという流れで良さそうですね。自分の言葉で整理すると、AIに“効くバイト”を学ばせてそこだけ重点的に試すことで、無駄な試行を減らしコストを下げるということですね

監修者

阪上雅昭(SAKAGAMI Masa-aki)
京都大学 人間・環境学研究科 名誉教授

論文研究シリーズ
前の記事
乳房密度分類における深層畳み込みニューラルネットワークの実用性
(BREAST DENSITY CLASSIFICATION WITH DEEP CONVOLUTIONAL NEURAL NETWORKS)
次の記事
映像から自己教師で学ぶ幾何復元と法線整合性
(Unsupervised Learning of Geometry from Videos with Edge-aware Depth-Normal Consistency)
関連記事
学習ベースの視覚オドメトリにおけるユークリッドおよびリーマン計量
(Loss it right: Euclidean and Riemannian Metrics in Learning-based Visual Odometry)
接頭辞
(プレフィックス)信頼度最大化によるテスト時スケーリング(Maximizing Prefix-Confidence at Test-Time)
電弱ゲージ粒子とジェットのハドロン生成およびTMDパートン密度関数
(Hadroproduction of electroweak gauge boson plus jets and TMD parton density functions)
ハイダーズに着目した敵対的トレーニングの強化
(Focus on Hiders: Exploring Hidden Threats for Enhancing Adversarial Training)
COVID-19に関する誤情報の拡散調査
(“COVID-19 was a FIFA conspiracy #curropt”: An Investigation into the Viral Spread of COVID-19 Misinformation)
接線空間摂動の非漸近解析
(Non-Asymptotic Analysis of Tangent Space Perturbation)
この記事をシェア

有益な情報を同僚や仲間と共有しませんか?

AI技術革新 - 人気記事
ブラックホールと量子機械学習の対応
(Black hole/quantum machine learning correspondence)
生成AI検索における敏感なユーザークエリの分類と分析
(Taxonomy and Analysis of Sensitive User Queries in Generative AI Search System)
DiReDi:AIoTアプリケーションのための蒸留と逆蒸留
(DiReDi: Distillation and Reverse Distillation for AIoT Applications)

PCも苦手だった私が

“AIに詳しい人“
として一目置かれる存在に!
  • AIBRプレミアム
  • 実践型生成AI活用キャンプ
あなたにオススメのカテゴリ
論文研究
さらに深い洞察を得る

AI戦略の専門知識を身につけ、競争優位性を構築しませんか?

AIBR プレミアム
年間たったの9,800円で
“AIに詳しい人”として一目置かれる存在に!

プレミア会員になって、山ほどあるAI論文の中から効率よく大事な情報を手に入れ、まわりと圧倒的な差をつけませんか?

詳細を見る
【実践型】
生成AI活用キャンプ
【文部科学省認可】
満足度100%の生成AI講座
3ヶ月後には、あなたも生成AIマスター!

「学ぶ」だけではなく「使える」ように。
経営者からも圧倒的な人気を誇るBBT大学の講座では、3ヶ月間質問し放題!誰1人置いていかずに寄り添います。

詳細を見る

AI Benchmark Researchをもっと見る

今すぐ購読し、続きを読んで、すべてのアーカイブにアクセスしましょう。

続きを読む