抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
広く実際に使われ,多くのセキュリティ利用で多用される,反射はプログラム解析に大きな障害をもたらしている。反射鳴声は静的または動的に解析することができる。静的解析はより音が,より不正確な(多くの偽反射ターゲットを導入し,そのスケーラビリティを影響することにより)。動的解析は正確であるが,しばしば低コード被覆のために多くの真の反射ターゲットをパスし得る。ミラー,偽反射ターゲットを低く保ちながら,動的解析のコード被覆率を著しく増加させる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】