WEKO3
アイテム
KLEEとLibfuzzerを組み合わせたハイブリッド型KleeFuzzerに関する提案
https://ipsj.ixsq.nii.ac.jp/records/190583
https://ipsj.ixsq.nii.ac.jp/records/1905834a4321cf-5bdf-426b-89d0-9c19385587ee
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SPT18029031.pdf (624.9 kB)
|
Copyright (c) 2018 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2018-07-18 | |||||||||||
| タイトル | ||||||||||||
| タイトル | KLEEとLibfuzzerを組み合わせたハイブリッド型KleeFuzzerに関する提案 | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||||||
| 資源タイプ | technical report | |||||||||||
| 著者所属 | ||||||||||||
| 金沢工業大学 | ||||||||||||
| 著者所属 | ||||||||||||
| 金沢工業大学 | ||||||||||||
| 著者所属 | ||||||||||||
| 金沢工業大学 | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Kanazawa Institute of Technology | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Kanazawa Institute of Technology | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Kanazawa Institute of Technology | ||||||||||||
| 著者名 |
三嶋, 秀宗
× 三嶋, 秀宗
× 中沢, 実
× 西川, 幸延
|
|||||||||||
| 論文抄録 | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | 現在，ソフトウェア開発は大規模であるため，リリース前にすべてのバグを手動で検出をすることが困難である．そこで，自動でバグを検出する手法として，fuzzing，symbolic execution が用いられている．しかし，fuzzing は，良い結果を得るために洗練された初期値が必要である．一方，symbolic execution では，ソフトウェアを検査するのに余計な時間がかかる問題やメモリと CPU のリソースを余分に消費してしまう問題がある．そこで，fuzzing 側で必要になる初期値に symbolic execution から生成される結果を用いることが考えられた．しかし，連携のシステムとして用いられている fuzzing のソフトウェアである American Fuzzy Lop (AFL) では，実行ファイル形式ではない単一のライブラリファイルに対して fuzzing を行うことが困難である．そこで，libfuzzer を AFL の代わりに用いることで実行ファイル形式ではない単一のライブラリファイルに対しても fuzzing を行うことが容易にできるようになる．本研究では，fuzzing のソフトウェアである libfuzzer と symbolic execution のソフトウェアである KLEE を組み合わせた新たなハイブリッドシステム KleeFuzzer を提案する． | |||||||||||
| 書誌レコードID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AA12628305 | |||||||||||
| 書誌情報 |
研究報告セキュリティ心理学とトラスト（SPT） 巻 2018-SPT-29, 号 31, p. 1-8, 発行日 2018-07-18 |
|||||||||||
| ISSN | ||||||||||||
| 収録物識別子タイプ | ISSN | |||||||||||
| 収録物識別子 | 2188-8671 | |||||||||||
| Notice | ||||||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||
