文献

J-GLOBAL ID：202002230925754450   整理番号：20A1862137

ネイティブ実行モデルからの抽象によるCプログラムにおける全てのBugs発見エラーに対するスロング,およびタック【JST・京大機械翻訳】

Sulong, and Thanks for All the Bugs Finding Errors in C Programs by Abstracting from the Native Execution Model

著者 (5件)： Rigger Manuel (Johannes Kepler University Linz, Linz, Austria) ,  Schatz Roland (Oracle Labs, Linz, Austria) ,  Mayrhofer Rene (Johannes Kepler University Linz, Linz, Austria) ,  Grimmer Matthias (Oracle Labs, Linz, Austria) ,  Mossenbock Hanspeter (Johannes Kepler University Linz, Linz, Austria)
資料名： ACM Proceedings  (ACM Proceedings)
号： ASPLOS ’18  ページ： 377-391  発行年： 2018年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： Cにおいて,バッファオーバフローのようなメモリエラーは,最も危険なソフトウェアエラーである。著者らが示すように,それらはまだ上昇中である。このような誤差を検出する試みである現在の動的バグ発見ツールは,基礎となるマシンの低レベル実行モデルに基づいている。彼らはアドホック方式で追加のチェックを挿入し,コーナーケースのチェックを省略する傾向がある。これに取り組むために,プログラムの実行中にバグを見つけるための新しいアプローチを考案した。このアプローチのコアでは,自動チェック(限界,NULL,タイプチェックなど)を実行する高レベル言語で書かれた解釈者である。Cにおけるデータ構造を高レベル言語のものに写像することにより,アクセスを自動的にチェックし,発見した。このアプローチを実装し,著者らのツール(Safe Sulongと呼ぶ)が,主要な機能議論へのアウトオブバウンドアクセスのような最先端のツールオーバールックのバグを見つけることができることを示す。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 記憶装置 ,  データ構造 ,  高水準言語 ,  ソフトウェア ,  *ソフトウェア障害
準シソーラス用語： バッファオーバフロー , 【Automatic Indexing@JST】

著者キーワード (4件)： C ,  バグ検出 ,  記憶エラー ,  スロング

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (5件)： モデル ,  抽象 ,  発見 ,  エラー ,  タック