文献

J-GLOBAL ID：201702275329744683   整理番号：17A1780242

Javaのための反射解析より反射標的精密を明らかにする【Powered by NICT】

Reflection Analysis for Java: Uncovering More Reflective Targets Precisely

著者 (4件)： Liu Jie ,  Li Yue ,  Tan Tian ,  Xue Jingling
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： ISSRE  ページ： 12-23  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 広く実際に使われ,多くのセキュリティ利用で多用される,反射はプログラム解析に大きな障害をもたらしている。反射鳴声は静的または動的に解析することができる。静的解析はより音が,より不正確な(多くの偽反射ターゲットを導入し,そのスケーラビリティを影響することにより)。動的解析は正確であるが,しばしば低コード被覆のために多くの真の反射ターゲットをパスし得る。ミラー,偽反射ターゲットを低く保ちながら,動的解析のコード被覆率を著しく増加させるJavaのための最初の自動反射解析を導入した。静的解析では,新しい反射配向スライシング技術は反射呼のための少数の小経路スライスの同定に適用した異なる反射ターゲットは,これらの異なる経路に沿って運動させたと思われる。これは純静的反射解析可能な限りの健全性を保存し,そのスケーラビリティを改善し,その偽陽性率を大幅に減少させた。動的解析では,これらのスライスはアクセス反射ターゲットを報告するための自動的に生成されたテストケースを実行した。これは,純粋な動的解析のコード網羅性をかなり改善される。10大規模実世界のJavaアプリケーションを用いて,TAMIFLEX,最先端の動的反射解析ツールに対するミラーを評価した。ミラーは偽陽性を生成することなく効率的に(平均362.8秒で)12.5%~ 933.3%より反射ターゲットを検出する。これらの新しい標的は5 174949callgraph端は適用コードに到達することができた。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 応用プログラム ,  プログラム解析 ,  *Java ,  健全性 ,  セキュリティ ,  被覆率 ,  音響 ,  動的解析 ,  被覆
準シソーラス用語： 誤検出 ,  解析ツール ,  網羅性 ,  テストケース ,  スライシング ,  静的解析 , 【Automatic Indexing@JST】

分類 (4件)： 計算機システム開発  (JD02010R) ,  計算理論  (JB02000A) ,  言語プロセッサ  (JD03040F) ,  汎用プログラミング言語  (JD03051H)

タイトルに関連する用語 (4件)： Java ,  解析 ,  標的 ,  精密