文献

J-GLOBAL ID：202202257954277112   整理番号：22A1053032

資源利用型ファジィ化による最悪ケース資源利用の推定【JST・京大機械翻訳】

Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing

著者 (9件)： Chen Liqian (College of Computer Science, National University of Defense Technology, Changhsha, China) ,  Huang Renjie (College of Computer Science, National University of Defense Technology, Changhsha, China) ,  Huang Renjie (State Key Laboratory of High Performance Computing, Changhsha, China) ,  Luo Dan (College of Computer Science, National University of Defense Technology, Changhsha, China) ,  Ma Chenghu (College of Computer Science, National University of Defense Technology, Changhsha, China) ,  Ma Chenghu (State Key Laboratory of High Performance Computing, Changhsha, China) ,  Wei Dengping (College of Computer Science, National University of Defense Technology, Changhsha, China) ,  Wang Ji (College of Computer Science, National University of Defense Technology, Changhsha, China) ,  Wang Ji (State Key Laboratory of High Performance Computing, Changhsha, China)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 13241  ページ： 92-101  発行年： 2022年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 最悪ケース資源利用は,ソフトウェアの設計,構成,および展開において,特に限られた量の資源を有する文脈の下で実行されるとき,有用な指針を提供する。静的資源結合解析は,最悪ケース資源利用の健全な上限を提供できるが,非有界,結果さえ,保守的でない。本論文では,最悪ケース資源利用を推定するための資源利用意識ファジィ化手法を提案した。重要なアイデアは,資源利用関連カバレッジとともに資源利用量を用いてファジィ化プロセスをガイドすることである。さらに,静的解析情報(制御フロー,機能コールなどを含む)を利用して,元のプログラムを装備し,その後のファジィ化を支援するためのセマンティックパッチを利用した。ヒープメモリ,スタック深さ,ソケット,ユーザ定義資源などを含む実世界プログラムにおける様々な資源の最悪ケース資源利用を推定する実験を行った。予備実験結果は,2つの最先端のファジィ化ツール(AFLとMemLock)と比較して,実世界プログラムにおける最悪ケース資源利用の推定における著者らのアプローチの有望な能力を示した。Copyright The Author(s) 2022 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 記憶装置 ,  保全 ,  *資源 ,  実験 ,  ソケット ,  試験 ,  ソフトウェア ,  上限 ,  ヒープ ,  プログラム解析
準シソーラス用語： 静的解析 ,  予備実験 ,  制御フロー ,  有界 ,  *資源利用 , 【Automatic Indexing@JST】

著者キーワード (3件)： ファジィ化 ,  資源利用 ,  静的解析

分類 (2件)： 計算機システム開発  (JD02010R) ,  オペレーティングシステム  (JD03020J)

タイトルに関連する用語 (3件)： 資源利用 ,  ファジィ化 ,  推定