文献

J-GLOBAL ID：202202229536739597   整理番号：22A1053046

FuSeBMC v4:ハイブリッドファジィ化(競争寄与)のためのスマートシード生成【JST・京大機械翻訳】

FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing (Competition Contribution)

著者 (5件)： Alshmrany Kaled M. (University of Manchester, Manchester, UK) ,  Alshmrany Kaled M. (Institute of Public Administration, Jeddah, Saudi Arabia) ,  Aldughaim Mohannad (University of Manchester, Manchester, UK) ,  Bhayat Ahmed (University of Manchester, Manchester, UK) ,  Cordeiro Lucas C. (University of Manchester, Manchester, UK)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 13241  ページ： 336-340  発行年： 2022年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： FuSeBMCは,Cプログラムにおけるセキュリティ脆弱性を見つけるための試験発電機である。テスト-Comp 2021では,コードカバレッジとバグ発見のためのテストケースを生成するため,Bounded Model Checking(BMC)と進化Fuzzingエンジンをガイドするラベルを漸増的に注入する以前のバージョンを記述した。本論文では,スマートシードを生成するために両エンジンを利用するFuSeBMCの改良版を紹介した。第1に,エンジンは,種子を生産するためのプログラムの軽く装備されたバージョンで短時間限界で走る。BMCエンジンは,複雑な数学的ガードを通過できる種子を生産する際に特に有用である。次に,FuSeBMCは,以前のラウンドで生成されたスマートシードを用いて,そのエンジンを延長した時間制限で運転する。FuSeBMCは,このプロセスを2つの主な方法で管理する。最初に,各テストケースによってカバーされたラベルを記録するために共有メモリを使用した。第2に,試験事例を評価し,そして,高い衝撃のそれらを,その後の試験ファジィ化のために,種子に変えた。この年度の競争において,Cover-Error,Cover-Branches,および全体的カテゴリーに参加した。テスト-Comp 2022の結果は,著者らのコードカバレッジスコアを最後の年から有意に増加させ,すべてのカテゴリーですべてのツールを凌駕することを示した。Copyright The Author(s) 2022 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 衝撃 ,  保護具 ,  発電機 ,  試験 ,  時間制限 ,  *ソフトウェア障害 ,  セキュリティ ,  共有メモリ ,  モデル検査
準シソーラス用語： 脆弱性 ,  テストケース ,  テストケース生成 , 【Automatic Indexing@JST】

著者キーワード (6件)： 自動テストケース生成 ,  記号実行 ,  有界モデル検査 ,  ファジィ化 ,  セキュリティ ,  種子

分類 (1件)： 圧縮点火機関  (PB02030N)

タイトルに関連する用語 (2件)： ファジィ化 ,  競争