採用選考直結型インターンシップ_テーマ２：Real-World Fuzzing Challenge: 実世界プログラムに対するファジングの適用と改善

【インターンシップの概要】

■Real-World Fuzzing Challenge: 実世界プログラムに対するファジングの適用と改善

ファジング（fuzzing）は、プログラムに対して多様な入力を自動生成し、それらを大量に実行することで、
異常終了（クラッシュ）や不正な挙動を引き起こす入力を見つけ、潜在する不具合や脆弱性を探す技術です。
テストケースを人手で考えるのではなく「コンピュータに探索させる」アプローチのため、
思いもよらない入力が引き金となるバグや脆弱性を発見できることがあります。
特に 2010 年代半ば以降は研究・実運用の両面で急速に発展し、
現在も数多くのバグや脆弱性が日々ファジングによって発見されています。

一方で、ファジングは「ツールを回すだけ」で簡単に成果が出るとは限りません。
ターゲットが複雑になるほど、新しいコードパスに到達できなかったり、
異常をうまく検知できなかったりして探索が頭打ちになりやすく、
入力生成・観測・到達性（カバレッジ）・再現性などを改善する工夫が必要になります。

そして、その改善の過程では、学校などで学ぶコンピュータサイエンスの基礎や低レイヤー技術の知識が活きてきます。

例えば、
・プログラムの入力形式を理解して良い入力を作る（形式言語／パーサ）
・カバレッジ計測によって進捗を可視化しサニタイザー等で異常検知を強化する（コンパイラ／計装）
・クラッシュを解析して原因を切り分け再現性を高める（OS／デバッグ）
といった取り組みです。

本インターンシップでは、ファジングに関する基礎知識を学んだ後、
実世界で広く利用されているオープンソースソフトウェアを対象にファジングを行い、
その結果を改善する方法を考案・評価していただきます。
単にツールを使うだけでなく、「なぜ結果が出ないのか」「どうすればより多くのバグを発見できるのか」を自ら考え、
仮説と検証を繰り返しながら改善に挑戦していただきます。
「自動でバグを見つける」面白さと、「どう工夫すればもっと見つかるのか」を探る面白さの両方を体験できます。


【実習内容】
1. ファジングに関する基礎知識（座学）
　　
2.OSSに対するファジング実践
　・いくつかの候補から OSS を 1 つ選んでいただき、AFL++ によるファジングを試行

3. 2 の結果をより良くするにはどうすればよいかを試行錯誤　
　・ “より良く” するために、どのような指標で、どのような手段で良くするか試行錯誤いただきます。
　・成果指標を自ら設定し、仮説と検証を繰り返しながら改善に取り組みます。

4. 3 の結果や学びをまとめて成果報告会
　・最終日に報告会の場を設け、スライド形式の資料を作成し発表いただきます。
　・ファジングの研究をしているエンジニアからフィードバックさせていただきます。

※実習にあたっては最大限サポートをしますので、ご安心ください


【インターンシップを通じて学べること】
実開発におけるファジングでは、観測された結果に基づくインクリメンタルな改善が不可欠です。
本インターンシップではその流れを疑似体験し、
未知のターゲットに対してファジングを効果的に適用する能力が養われます。


※本インターンシップは採用選考直結型インターンシップです。
　インターンシップの評価を採用選考でも活用いたします。