プログラム静的解析手法の効率化と...
description
Transcript of プログラム静的解析手法の効率化と...
![Page 1: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/1.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
プログラム静的解析手法の効率化と
解析フレームワークの構築に関する研究大阪大学 大学院基礎工学研究科
情報数理系専攻 ソフトウェア科学分野
大畑 文明
![Page 2: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/2.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
2
背景ソフトウェアの大規模化による、開発作業の複雑化高品質ソフトウェアを効率よく開発する要求の高まり
ソフトウェアの品質改善、開発作業の生産性向上の必要性
プログラム解析 : プログラムからその性質やふるまいを抽出し、それを開発者に提供することでソフトウェア開発を支援する技法
![Page 3: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/3.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
3
プログラム静的解析プログラム静的解析 : 対象プログラムの実行を必要としないプログラム解析技法で、一般に対象プログラムのソースコードに対して行われる
プログラム静的解析により得られる解析情報 ( 例 )データフロー制御フロー抽象構文木クラス階層…
![Page 4: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/4.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
4
問題点既存のプログラム解析手法は、
解析精度の向上ある解析対象に特化した手法の提案及び実装
を重視してきた
(a) 解析の効率(b) 解析コストと解析精度のトレードオフ制御(c) 解析情報の二次利用への配慮が不足している
![Page 5: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/5.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
5
(a) 効率プログラミング言語の高級化、プログラムの
大規模化
解析コストの増大
目標解析アルゴリズムの効率化解析手順の効率化
![Page 6: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/6.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
6
(b) トレードオフ制御解析コストと解析精度はトレードオフ関係
解析コストを抑えると、解析精度が低下する解析精度を向上させると、解析コストは増大する
求められるコストと精度のバランスは、目的によって様々
目標トレードオフ制御を考慮した解析アルゴリズム
![Page 7: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/7.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
7
(c) 二次利用二次利用を想定していない実装
解析により得られた情報はメモリ上にのみ記憶される別の解析での利用を考慮していたとしても、特定のプログラミング言語による API を要求する
目標二次利用を考慮し、その利用者への制約の少ない、解析情報データベース
![Page 8: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/8.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
8
目的(a) 効率、 (b) トレードオフ制御、 (c) 二次利用 を考慮したプログラム静的解析手法及び、プログラム解析フレームワークの構築に関する研究を行った
(a) に重点を置き、プログラムスライス計算、エイリアス解析、意味解析木構築の効率化手法をそれぞれ提案(b) 、 (c) については、各効率化手法の中で議論
提案したプログラム解析手法に基づく、 Java を対象とするプログラム解析フレームワークの構築
![Page 9: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/9.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
9
第 1 章 . まえがき第 2 章 . プログラム依存グラフの節点集約による
スライス計算の効率化 [1-1,1-3]→ プログラムスライス計算の効率化 … (a),(b) に配慮
第 3 章 . エイリアス情報のモジュール化によるエイリアス解析の効率化 [1-2]
→ エイリアス解析の効率化 … (a),(b) に配慮第 4 章 . XML データベースを利用した
プログラム解析の効率化 [1-6]→ 意味解析木構築の効率化 … (a),(c) に配慮
第 5 章 . むすび
論文の構成
![Page 10: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/10.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
10
節点集約によるスライス計算の効率化[ 論文の 2 章 ]
プログラムスライス節点集約依存関係の局所性を利用した節点集約法節点分解を伴う節点集約法Pascal スライスシステム
- Osaka Slicing System (OSS) -評価まとめ
![Page 11: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/11.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
11
プログラムスライスプログラムスライス : ある文のある変数 ( スライス基準 ) の値に影響を与える可能性のある文の集合
適用分野プログラムデバッグプログラム理解
1: b = 5;2: a = b + b;3: if(a > 0) {4: c = a;5: d = b; }
1: b = 5;2: a = b + b;3: if(a > 0) {4: c = a;5: d = b; }スライス基準<5, b>に対する
スライス
![Page 12: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/12.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
12
PDGによるスライス計算計算過程
… スライス計算のグラフ到達問題への置き換えによる
Phase 1: 定義、参照変数の抽出Phase 2: 依存関係解析Phase 3: プログラム依存グラフ (PDG) の構築
節点 : プログラム文辺 : プログラム文間の依存関係
Phase 4: PDGによるスライス抽出
![Page 13: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/13.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
13
1: b = 5;2: a = b + b;3: if(a > 0) {4: c = a:5: d = b; }
b = 5
d = b c = a
if (a > 0)
a = b + bPDGによるスライス計算 ( 例 )
1: b = 5;2: a = b + b;3: if(a > 0) {4: c = a;5: d = b; }
b = 5
d = b c = a
if (a > 0)
a = b + b
ba
b
a
b = 5
d = b c = a
if (a > 0)
a = b + b
ba
b
a
1: b = 5;2: a = b + b;3: if(a > 0) {4: c = a;5: d = b; }
b = 5
d = b c = a
if (a > 0)
a = b + b
ba
b
a
![Page 14: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/14.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
14
節点集約Phase 2: 依存関係解析 が最も解析コストを要する
節点集約 : 通常各文の依存情報は対応する PDG節点に保持させるが、複数文の依存情報を 1 つのPDG節点に保持させる
PDGの節点数及び辺数の減少
(a) 効率 への配慮解析アルゴリズムの効率化
![Page 15: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/15.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
15
集約の制御節点集約アルゴリズムは、集約の程度を制御するためのパラメータ limit (limit 0) を持つ
limit を拡大 : コストは減少、精度は低下limit を縮小 : コストは増加、精度は向上b = 5
d = b c = a
if (a > 0)
a = b + b
ba
b
a
集約なし
b = 5a = b + b
d = b c = a
if (a > 0)b
a
a
集約あり (limit = 0)
b = 5a = b + b
c = ad = b
if (a > 0)a,b
a
集約あり (limit = 1)
集約
b = 5;a = b+b;if (a > 0) {
c = a;d = b;
}集約あり (limit = )
![Page 16: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/16.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
16
集約の応用 (2 つの節点集約法 )依存関係の局所性を利用した節点集約法 (limit « )
精度低下の少ない、時間コスト及び空間コスト削減
節点分解を伴う節点集約法 (limit = )精度低下のない、時間コスト削減節点分解が必要であるため、空間コストは増加
(b) トレードオフ制御 への配慮トレードオフ制御を考慮した解析アルゴリズム
![Page 17: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/17.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
17
依存関係の局所性を利用した節点集約法
依存関係の局所性 : 集約対象となる文集合が持つ、依存関係の類似性
局所性が強い文同士の集約では、精度低下が少ない b = 5
a = b + b
d = b c = a
if (a > 0)b
a
a
集約あり (limit = 0)
b = 5a = b + b
c = ad = b
if (a > 0)a,b
a
集約あり (limit = 1)
b = 5
d = b c = a
if (a > 0)
a = b + b
ba
b
a
集約なし
集約
![Page 18: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/18.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
18
節点分解を伴う節点集約法依存関係の分類とその抽出方針
手続き間 (繰り返し解析が必要 ): 集約後に抽出手続き内 (繰り返し解析が不要 ): 分解後に抽出
b = 5;a = b+b;if (a > 0) {
c = a;d = b;
}
…… = a;
…
…… = c;
…集約あり (limit = )
b = 5
d = b c = a
if (a > 0)
a = b + b
ba
b
a
集約なし
c
a
分解
b = 5;a = b+b;if (a > 0) {
c = a;d = b;
}
…… = a;
…
…… = c;
…集約あり (limit = )
a
c
![Page 19: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/19.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
19
Pascal スライスシステム- Osaka Slicing System (OSS) -
対象言語 : Pascal開発
言語 : Cツールキット : Tcl/Tkコード : 12,000 行
![Page 20: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/20.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
20
評価OSS に対して Pascal プログラムを適用し、既存手法との比較を行った
既存手法 : 節点集約を行わない提案手法 : 節点集約 ( 及び節点分解 ) を行う
プログラム [概要 ] 行 手続き
P1 [チケット予約 ] 333
14
P2 [酒屋問題 ] 429
18
P3 [小計算問題の集合 ]
449
30
P4 [ ソーティング ] 831
22
![Page 21: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/21.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
21
考察依存関係の局所性を利用した節点集約
解析コスト (時間 ): 5~ 30%の削減解析コスト (空間 ): 5~ 40%の削減解析精度 : 1~ 3%の低下
節点分解を伴う節点集約解析コスト (時間 ): 15~ 60%の削減解析コスト (空間 ): 約 10%の増加解析精度 : 低下はなし
![Page 22: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/22.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
22
まとめ節点集約によるスライス計算効率化手法の提案
依存関係の局所性を利用した節点集約法節点分解を伴う節点集約法
OSS による提案手法の実装、及びその評価
(a) 効率、 (b) トレードオフ制御 への配慮
今後の課題ポインタ変数の存在するプログラムへの適用大規模プログラムに対する評価実験
![Page 23: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/23.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
23
モジュール化によるエイリアス解析の効率化
[ 論文の 3 章 ]
エイリアスAFGによるエイリアス解析Java エイリアス解析ツール
- Java Alias Analysis Tool (JAAT) -評価まとめ
![Page 24: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/24.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
24
1: Integer a, b, c;2: a = new Integer(1);3: b = new Integer(2);4: System.out.println(b);5: c = a;6: System.out.println(c);
エイリアスエイリアス : ある文のある式 ( エイリアス基準 ) と同一メモリ領域を指す可能性のある式の集合
適用分野コンパイラ最適化スライス計算の前処理プログラムデバッグ、プログラム理解
エイリアス基準<6, c>に対するエイリアス
1: Integer a, b, c;2: a = new Integer(1);3: b = new Integer(2);4: System.out.println(b);5: c = a;6: System.out.println(c);
![Page 25: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/25.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
25
エイリアス解析手法における問題点(1/2)エイリアス解析全般における問題点
スケーラビリティ : 実行順に従ってプログラム全体を解析しなければならないため、大規模プログラムへの適用におけるコストは膨大なものになる利用分野に適した解析手法 : プログラムデバッグ、プログラム理解に利用する場合、求めるエイリアスのみを即座に抽出できることが望まれる
スケーラビリティに配慮するための、モジュール解析エイリアスを効率よく抽出するための、オンデマンド解析
の重要性
![Page 26: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/26.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
26
エイリアス解析手法における問題点(2/2)OO プログラムに対するエイリアス解析における問題
点インスタンスを区別した解析 : 同一クラスのインスタンスが属性に関するエイリアス情報を共有する方式では、解析精度が低くなるしかし、単純にインスタンスの数だけエイリアス情報を生成してしまうと多大な空間コストが必要になるため、インスタンスを区別した解析は実現されてない
エイリアスを効率よく抽出するための、オンデマンド解析の重要性
![Page 27: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/27.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
27
AFGによるエイリアス解析 (方針 )方針 : 2 フェーズ方式
Phase 1: メソッド内エイリアス解析 ( モジュール解析 )メソッド単位に解析結果が保持されるインスタンス共通のエイリアス情報 の抽出
Phase 2: メソッド間エイリアス解析 ( オンデマンド解析 )
メソッド単位の解析結果を結びつけるインスタンス独自のエイリアス情報 の抽出
(a) 効率 への配慮解析アルゴリズムの効率化
![Page 28: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/28.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
28
AFGによるエイリアス解析 ( 計算過程 )
計算過程… エイリアス解析のグラフ到達問題への置き換
えによるPhase 1: エイリアスフローグラフ (AFG) の構築
… メソッド内エイリアス解析節点 : 参照型の式辺 : 式間のエイリアス関係
Phase 2: AFGによるエイリアス計算… メソッド間エイリアス解析
![Page 29: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/29.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
29
AFGによるエイリアス解析 ( 例 : 単純式 )[Phase 1 ~ Phase 2]
a new Integer(1)new Integer(2)b
bacc
1: Integer a, b, c;2: a = new Integer(1);3: b = new Integer(2);4: System.out.println(b);5: c = a;6: System.out.println(c);
a new Integer(1)new Integer(2)b
bacc
1: Integer a, b, c;2: a = new Integer(1);3: b = new Integer(2);4: System.out.println(b);5: c = a;6: System.out.println(c);a new Integer(1)
new Integer(2)bbacc
1: Integer a, b, c;2: a = new Integer(1);3: b = new Integer(2);4: System.out.println(b);5: c = a;6: System.out.println(c);
![Page 30: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/30.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
30
AFGによるエイリアス解析 ( 例 : 限定式 )[Phase 2: “b.result()”]
Step 1: b に関するエイリアス計算 エイリアス : A(b)Step 2: A(b) に関する情報の抽出 型 : Calc クラス
メソッド : Calc::Calc(), Calc::add(), Calc::result()
Step 3: result() に関するエイリアス計算
class Test { Calc a = new
Calc(); Calc b = new
Calc(); Integer c; Test() { a.inc(); b.add(1); c = b.result(); }}
public class Calc { Integer i; public Calc() {i = new Integer(0); } public void inc() { i = new Integer(i.intValue() + 1); } public void add(int c) { i = new Integer(i.intValue() + c); } public Integer result() {return(i);}}
public class Calc { Integer i; public Calc() {i = new Integer(0); } public void inc() { i = new Integer(i.intValue() + 1); } public void add(int c) { i = new Integer(i.intValue() + c); } public Integer result() {return(i);}}
public class Calc { Integer i; public Calc() {i = new Integer(0); } public void inc() { i = new Integer(i.intValue() + 1); } public void add(int c) { i = new Integer(i.intValue() + c); } public Integer result() {return(i);}}
class Test { Calc a = new
Calc(); Calc b = new
Calc(); Integer c; Test() { a.inc(); b.add(1); c = b.result(); }}
class Test { Calc a = new
Calc(); Calc b = new
Calc(); Integer c; Test() { a.inc(); b.add(1); c = b.result(); }}
class Test { Calc a = new
Calc(); Calc b = new
Calc(); Integer c; Test() { a.inc(); b.add(1); c = b.result(); }}
![Page 31: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/31.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
31
AFGによるエイリアス解析 ( アルゴリズム )
アルゴリズム : フェーズごとに定義可能Phase 1: メソッド内エイリアス解析
→ AFG構築アルゴリズムPhase 2: メソッド間エイリアス解析
→ AFG 探索アルゴリズム (変更が容易 )
(b) トレードオフ制御 への配慮トレードオフ制御を考慮した解析アルゴリズム
![Page 32: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/32.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
32
Java エイリアス解析ツール- Java Alias Analysis Tool (JAAT) -
対象言語 : Java開発
言語 : C++ツールキット : GTK--コード : 32,000 行
![Page 33: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/33.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
33
評価JAATに対し Java プログラムを適用し、提案手法の有効性を検証プログラム サンプルプログ
ラム関連するクラスライ
ブラリ[概要 ] ファイ
ル行 ファイ
ル行
TextEditor 1 915 802 114,887[ テキストエディタ ] (0.1%) (0.8%) (99.9%) (99.2%)
WeirdX 47 16,703 815 115,977[Xサーバ ] (5.5%) (12.6%) (94.5%) (87.4%)
ANTLR 129 18,775 267 33,847[ 構文解析生成 ] (32.6%) (35.7%) (67.4%) (64.3%)
DynamicJava 242 32,037 825 119,564[Java インタプリタ ] (22.7%) (21.1%) (77.3%) (78.9%)
![Page 34: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/34.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
34
考察(1/3)
解析コスト (時間 )Phase 1: AFG構築 : モジュール化により、前もってクラスライブラリを解析しておくことができるサンプルプログラムに対するエイリアス解析において、クラスライブラリ全体を再解析する必要はない
プログラム サンプルプログラム [sec]
関連するクラスライブラリ [sec]
TextEditor 0.001 100WeirdX 14 101ANTLR 12 23DynamicJava
56 110
![Page 35: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/35.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
35
考察(2/3)
Phase 2: AFGによるエイリアス計算 : オンデマンド解析を採用しているため、メソッド間のエイリアス解析はその都度行う必要があるが、そのコストは十分に小さいプログラム [ms
]TextEditor 0.6
5WeirdX 0.2
9ANTLR 0.1
7DynamicJava
0.07
![Page 36: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/36.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
36
考察(3/3)
解析精度 ( エイリアス集合の平均要素数 )既存手法 : インスタンスを区別しない解析提案手法 : インスタンスを区別した解析
提案手法による解析精度の向上を確認プログラム 区別する
[個 ]区別しない
[個 ]TextEditor 4.42 8.31WeirdX 15.37 24.54ANTLR 5.94 18.77DynamicJava
9.16 17.19
![Page 37: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/37.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
37
まとめモジュール化によるエイリアス解析効率化手法の提案
2 フェーズで構成 ( モジュール解析、オンデマンド解析 )AFGを利用
JAATによる提案手法の実装、及びその評価
(a) 効率、 (b) トレードオフ制御 への配慮
今後の課題AFGデータベースの構築例外処理、スレッドへの対応
![Page 38: プログラム静的解析手法の効率化と 解析フレームワークの構築に関する研究](https://reader036.fdocuments.net/reader036/viewer/2022062301/56815dee550346895dcc1b05/html5/thumbnails/38.jpg)
Software Engineering Research Group, Graduate School of Engineering Science, Osaka University
38
むすび(a) 効率、 (b) トレードオフ制御、 (c) 二次利用 を考慮した 3 つのプログラム静的解析手法の提案
節点集約による スライス計算の効率化手法 … (a),(b)エイリアス情報のモジュール化による エイリアス解析の効率化手法 … (a),(b)XML データベースを利用した プログラム解析の効率化手法 … (a),(c)
Java プログラム解析フレームワーク JAFの構築