コンパイラのファジング

• 石浦 菜岐佐

  関西学院大学理工学部情報科学科

書誌事項

タイトル別名

• Compiler Fuzzing

抄録

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

収録刊行物

• ＩＥＩＣＥ　ＦＵＮＤＡＭＥＮＴＡＬＳ　ＲＥＶＩＥＷ

  ＩＥＩＣＥ　ＦＵＮＤＡＭＥＮＴＡＬＳ　ＲＥＶＩＥＷ 9 (3), 188-196, 2016

  一般社団法人 電子情報通信学会

キーワード

• コンパイラ
• 信頼性
• ランダムテスト
• ファジング

詳細情報

• CRID: 1390001205342629760
• NII論文ID: 130005117711
• DOI: 10.1587/essfr.9.3_188
• ISSN: 18820875
• Web Site: https://www.jstage.jst.go.jp/article/essfr/9/3/9_188/_pdf
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • Crossref
  • CiNii Articles
• 抄録ライセンスフラグ: 使用不可