文献

J-GLOBAL ID：202002287889384146   整理番号：20A1864816

静的解析の格子ベースモジュール化【JST・京大機械翻訳】

Lattice based modularization of static analyses

著者 (6件)： Eichberg M. (Technische Universitaet Darmstadt, Germany) ,  Kuebler F. (Technische Universitaet Darmstadt, Germany) ,  Helm D. (Technische Universitaet Darmstadt, Germany) ,  Reif M. (Technische Universitaet Darmstadt, Germany) ,  Salvaneschi G. (Technische Universitaet Darmstadt, Germany) ,  Mezini M. (Technische Universitaet Darmstadt, Germany)
資料名： ACM Proceedings  (ACM Proceedings)
号： ISSTA ’18  ページ： 113-118  発行年： 2018年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 概念的に独立な情報を計算する静的解析,例えば,クラス不変性または方法純度は,通常,独立,閉解析として開発された。解析を改善できる補足的な情報は,音過剰近似を作ることによって無視されるか,また,解析でも計算され,しかし,Ru楽レベルでも計算される。例えば,不可換性分析は,フィールド可変性情報,エイリア/景観情報,およびジャバのようなクラスを正しく分類するための方法の同時挙動に関する情報を必要とする。Stringまたはjava.util.BigDecmal。その結果,独立に開発された相互利益解析の統合を適正に支持することなく,多くの解析は関連エンティティを正しく分類しないであろう。相互依存解析間の唯一のインタフェイスとして,ソースコード要素の性質(例えば,方法の純度またはクラス不変性)に関する情報を符号化する明示的に再構成された格子を用いることを提案した。これは多重分析の構成を可能にする。著者らの事例研究は,そのようなアプローチを用いることがモジュール化静的解析の高度にスケーラブルで軽量な実装を可能にすることを示した。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件)： 抽象解釈 ,  格子 ,  モジュール化 ,  静的解析フレームワーク

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

タイトルに関連する用語 (3件)： 静的解析 ,  格子 ,  モジュール化