電子情報通信学会 基礎・境界ソサイエティ Fundamentals Review
Online ISSN : 1882-0875
ISSN-L : 1882-0875
VLD研究会提案
コンパイラのファジング
石浦 菜岐佐
著者情報
ジャーナル フリー

2016 年 9 巻 3 号 p. 188-196

詳細
抄録

コンパイラはソフトウェア開発の基盤ツールであり,その信頼性確保は重要な課題である.コンパイラのテストは数千本から数十万本のテストプログラムから成るテストスイートを用いて行われるが,テストの数が有限である以上,どうしても不具合の見逃しは防げず,最新のGCC やLLVM/Clang などの比較的品質が高いとされるコンパイラにも多くの不具合が報告されている.近年,ランダムに生成したプログラムによりそのような不具合を検出するコンパイラ・ファジングのツールが幾つか開発され,成果を挙げている.本稿では,これまでに開発された手法やツールの狙いや課題について概観し,今後の方向性についての所感を述べる.

著者関連情報
© 2016 一般社団法人 電子情報通信学会
前の記事 次の記事
feedback
Top