文献

J-GLOBAL ID：201802245404927159   整理番号：18A1503475

LDMBL:重み二値計装におけるコード重複の低減のためのアーキテクチャ【JST・京大機械翻訳】

LDMBL: An architecture for reducing code duplication in heavyweight binary instrumentations

著者 (2件)： Momeni Behnam (Department of Computer Engineering, Sharif University of Technology, Tehran, Iran) ,  Kharrazi Mehdi (Department of Computer Engineering, Sharif University of Technology, Tehran, Iran)
資料名： Software: Practice & Experience  (Software: Practice & Experience)
巻： 48  号： 9  ページ： 1642-1659  発行年： 2018年 
JST資料番号： E0674A  ISSN： 0038-0644  CODEN： SPEXBL  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 計装フレームワークの出現はソフトウェア工学実践に大きく貢献している。計装使用事例がより複雑になるにつれて,機器プログラムの複雑さも増加し,ソフトウェア欠陥のリスクが高くなり,開発時間が増加し,保守性が低下した。多くの命令タイプを計測する必要がある記号実行とタット解析のようなセキュリティ応用において,この複雑さは顕著である。本論文では,低レベルOSとハードウェア依存実装の詳細を抽象化するために,Pin二値計装フレームワークに基づくアーキテクチャを提示し,重みづけ計装利用事例におけるコード再利用を容易にし,プログラム開発時間を改善した。x86とx86-64ハードウェアアーキテクチャの命令を,PinフレームワークAPIに基づくZ言語を用いて形式的に分類した。この分類を用いて,構成リストに基づいて計装位相を自動化した。さらに,レジスタデータのような計装コンテキストデータをオブジェクト指向方式でモデル化した。これにより,低レベルOSとハードウェア依存性へのアクセスが合理化されている間,本質的な解析論理を書くことに関する装置プログラム開発時間の焦点を合わせることが可能になった。提案したアーキテクチャは,具体的な記号実行エンジンにおいて135の命令タイプを装備することにより評価され,その結果,59.7%の機器プログラムサイズの削減をもたらす。さらに,SPEC CINT2006プログラムに対する性能オーバーヘッド測度は8.7%に制限される。Copyright 2018 Wiley Publishing Japan K.K. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： レジスタ ,  モデリング ,  セキュリティ ,  重みづけ ,  ソフトウェア工学 ,  測度 ,  ハードウェア ,  *計算機アーキテクチャ ,  合理化 ,  ソフトウェア ,  位相 ,  自動化
準シソーラス用語： オーバヘッド ,  Z言語 ,  プログラム開発 , 【Automatic Indexing@JST】

著者キーワード (4件)： 動的バイナリ計装 ,  重量測定装置 ,  ピンベースアーキテクチャ ,  Z言語仕様

分類 (2件)： 言語プロセッサ  (JD03040F) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (3件)： 二値 ,  計装 ,  アーキテクチャ