プログラム静的解析手法の効率化と...

Software Engineering Research Group, Graduate School of Engineering Science, Osaka University

プログラム静的解析手法の効率化と

解析フレームワークの構築に関する研究大阪大学大学院基礎工学研究科

情報数理系専攻ソフトウェア科学分野

大畑文明

背景ソフトウェアの大規模化による、開発作業の複雑化高品質ソフトウェアを効率よく開発する要求の高まり

ソフトウェアの品質改善、開発作業の生産性向上の必要性

プログラム解析 : プログラムからその性質やふるまいを抽出し、それを開発者に提供することでソフトウェア開発を支援する技法

プログラム静的解析プログラム静的解析 : 対象プログラムの実行を必要としないプログラム解析技法で、一般に対象プログラムのソースコードに対して行われる

プログラム静的解析により得られる解析情報 ( 例 )データフロー制御フロー抽象構文木クラス階層…

問題点既存のプログラム解析手法は、

解析精度の向上ある解析対象に特化した手法の提案及び実装

を重視してきた

(a) 解析の効率(b) 解析コストと解析精度のトレードオフ制御(c) 解析情報の二次利用への配慮が不足している

(a) 効率プログラミング言語の高級化、プログラムの

大規模化

解析コストの増大

目標解析アルゴリズムの効率化解析手順の効率化

(b) トレードオフ制御解析コストと解析精度はトレードオフ関係

解析コストを抑えると、解析精度が低下する解析精度を向上させると、解析コストは増大する

求められるコストと精度のバランスは、目的によって様々

目標トレードオフ制御を考慮した解析アルゴリズム

(c) 二次利用二次利用を想定していない実装

解析により得られた情報はメモリ上にのみ記憶される別の解析での利用を考慮していたとしても、特定のプログラミング言語による API を要求する

目標二次利用を考慮し、その利用者への制約の少ない、解析情報データベース

目的(a) 効率、 (b) トレードオフ制御、 (c) 二次利用を考慮したプログラム静的解析手法及び、プログラム解析フレームワークの構築に関する研究を行った

(a) に重点を置き、プログラムスライス計算、エイリアス解析、意味解析木構築の効率化手法をそれぞれ提案(b) 、 (c) については、各効率化手法の中で議論

提案したプログラム解析手法に基づく、 Java を対象とするプログラム解析フレームワークの構築

第 1 章 . まえがき第 2 章 . プログラム依存グラフの節点集約による

スライス計算の効率化 [1-1,1-3]→ プログラムスライス計算の効率化 … (a),(b) に配慮

第 3 章 . エイリアス情報のモジュール化によるエイリアス解析の効率化 [1-2]

→ エイリアス解析の効率化 … (a),(b) に配慮第 4 章 . XML データベースを利用した

プログラム解析の効率化 [1-6]→ 意味解析木構築の効率化 … (a),(c) に配慮

第 5 章 . むすび

論文の構成

節点集約によるスライス計算の効率化[ 論文の 2 章 ]

プログラムスライス節点集約依存関係の局所性を利用した節点集約法節点分解を伴う節点集約法Pascal スライスシステム

- Osaka Slicing System (OSS) -評価まとめ

プログラムスライスプログラムスライス : ある文のある変数 ( スライス基準 ) の値に影響を与える可能性のある文の集合

適用分野プログラムデバッグプログラム理解

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>に対する

スライス

PDGによるスライス計算計算過程

… スライス計算のグラフ到達問題への置き換えによる

Phase 1: 定義、参照変数の抽出Phase 2: 依存関係解析Phase 3: プログラム依存グラフ (PDG) の構築

節点 : プログラム文辺 : プログラム文間の依存関係

Phase 4: PDGによるスライス抽出

1: b = 5;2: a = b + b;3: if(a > 0) {4: c = a:5: d = b; }

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; }

d = b c = a

if (a > 0)

a = b + b

d = b c = a

if (a > 0)

a = b + b

1: b = 5;2: a = b + b;3: if(a > 0) {4: c = a;5: d = b; }

d = b c = a

if (a > 0)

a = b + b

節点集約Phase 2: 依存関係解析が最も解析コストを要する

節点集約 : 通常各文の依存情報は対応する PDG節点に保持させるが、複数文の依存情報を 1 つのPDG節点に保持させる

PDGの節点数及び辺数の減少

(a) 効率への配慮解析アルゴリズムの効率化

集約の制御節点集約アルゴリズムは、集約の程度を制御するためのパラメータ limit (limit 0) を持つ

limit を拡大 : コストは減少、精度は低下limit を縮小 : コストは増加、精度は向上b = 5

d = b c = a

if (a > 0)

a = b + b

集約なし

b = 5a = b + b

d = b c = a

if (a > 0)b

集約あり (limit = 0)

b = 5a = b + b

c = ad = b

if (a > 0)a,b

集約

b = 5;a = b+b;if (a > 0) {

c = a;d = b;

}集約あり (limit = )

集約の応用 (2 つの節点集約法 )依存関係の局所性を利用した節点集約法 (limit « )

精度低下の少ない、時間コスト及び空間コスト削減

節点分解を伴う節点集約法 (limit = )精度低下のない、時間コスト削減節点分解が必要であるため、空間コストは増加

(b) トレードオフ制御への配慮トレードオフ制御を考慮した解析アルゴリズム

依存関係の局所性を利用した節点集約法

依存関係の局所性 : 集約対象となる文集合が持つ、依存関係の類似性

局所性が強い文同士の集約では、精度低下が少ない b = 5

a = b + b

d = b c = a

if (a > 0)b

b = 5a = b + b

c = ad = b

if (a > 0)a,b

d = b c = a

if (a > 0)

a = b + b

集約なし

集約

節点分解を伴う節点集約法依存関係の分類とその抽出方針

手続き間 (繰り返し解析が必要 ): 集約後に抽出手続き内 (繰り返し解析が不要 ): 分解後に抽出

b = 5;a = b+b;if (a > 0) {

c = a;d = b;

…… = a;

…… = c;

…集約あり (limit = )

d = b c = a

if (a > 0)

a = b + b

集約なし

分解

b = 5;a = b+b;if (a > 0) {

c = a;d = b;

…… = a;

…… = c;

…集約あり (limit = )

Pascal スライスシステム- Osaka Slicing System (OSS) -

対象言語 : Pascal開発

言語 : Cツールキット : Tcl/Tkコード : 12,000 行

評価OSS に対して Pascal プログラムを適用し、既存手法との比較を行った

既存手法 : 節点集約を行わない提案手法 : 節点集約 ( 及び節点分解 ) を行う

プログラム [概要 ] 行手続き

P1 [チケット予約 ] 333

P2 [酒屋問題 ] 429

P3 [小計算問題の集合 ]

P4 [ ソーティング ] 831

考察依存関係の局所性を利用した節点集約

解析コスト (時間 ): 5～ 30%の削減解析コスト (空間 ): 5～ 40%の削減解析精度 : 1～ 3%の低下

節点分解を伴う節点集約解析コスト (時間 ): 15～ 60%の削減解析コスト (空間 ): 約 10%の増加解析精度 : 低下はなし

まとめ節点集約によるスライス計算効率化手法の提案

依存関係の局所性を利用した節点集約法節点分解を伴う節点集約法

OSS による提案手法の実装、及びその評価

(a) 効率、 (b) トレードオフ制御への配慮

今後の課題ポインタ変数の存在するプログラムへの適用大規模プログラムに対する評価実験

モジュール化によるエイリアス解析の効率化

[ 論文の 3 章 ]

エイリアスAFGによるエイリアス解析Java エイリアス解析ツール

- Java Alias Analysis Tool (JAAT) -評価まとめ

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/2)エイリアス解析全般における問題点

スケーラビリティ : 実行順に従ってプログラム全体を解析しなければならないため、大規模プログラムへの適用におけるコストは膨大なものになる利用分野に適した解析手法 : プログラムデバッグ、プログラム理解に利用する場合、求めるエイリアスのみを即座に抽出できることが望まれる

スケーラビリティに配慮するための、モジュール解析エイリアスを効率よく抽出するための、オンデマンド解析

の重要性

エイリアス解析手法における問題点(2/2)OO プログラムに対するエイリアス解析における問題

点インスタンスを区別した解析 : 同一クラスのインスタンスが属性に関するエイリアス情報を共有する方式では、解析精度が低くなるしかし、単純にインスタンスの数だけエイリアス情報を生成してしまうと多大な空間コストが必要になるため、インスタンスを区別した解析は実現されてない

エイリアスを効率よく抽出するための、オンデマンド解析の重要性

AFGによるエイリアス解析 (方針 )方針 : 2 フェーズ方式

Phase 1: メソッド内エイリアス解析 ( モジュール解析 )メソッド単位に解析結果が保持されるインスタンス共通のエイリアス情報の抽出

Phase 2: メソッド間エイリアス解析 ( オンデマンド解析 )

メソッド単位の解析結果を結びつけるインスタンス独自のエイリアス情報の抽出

(a) 効率への配慮解析アルゴリズムの効率化

AFGによるエイリアス解析 ( 計算過程 )

計算過程… エイリアス解析のグラフ到達問題への置き換

えによるPhase 1: エイリアスフローグラフ (AFG) の構築

… メソッド内エイリアス解析節点 : 参照型の式辺 : 式間のエイリアス関係

Phase 2: AFGによるエイリアス計算… メソッド間エイリアス解析

AFGによるエイリアス解析 ( 例 : 単純式 )[Phase 1 ～ Phase 2]

a new Integer(1)new Integer(2)b

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

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);}}

AFGによるエイリアス解析 ( アルゴリズム )

アルゴリズム : フェーズごとに定義可能Phase 1: メソッド内エイリアス解析

→ AFG構築アルゴリズムPhase 2: メソッド間エイリアス解析

→ AFG 探索アルゴリズム (変更が容易 )

(b) トレードオフ制御への配慮トレードオフ制御を考慮した解析アルゴリズム

Java エイリアス解析ツール- Java Alias Analysis Tool (JAAT) -

対象言語 : Java開発

言語 : C++ツールキット : GTK--コード : 32,000 行

評価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%)

考察(1/3)

解析コスト (時間 )Phase 1: AFG構築 : モジュール化により、前もってクラスライブラリを解析しておくことができるサンプルプログラムに対するエイリアス解析において、クラスライブラリ全体を再解析する必要はない

プログラムサンプルプログラム [sec]

関連するクラスライブラリ [sec]

TextEditor 0.001 100WeirdX 14 101ANTLR 12 23DynamicJava

56 110

考察(2/3)

Phase 2: AFGによるエイリアス計算 : オンデマンド解析を採用しているため、メソッド間のエイリアス解析はその都度行う必要があるが、そのコストは十分に小さいプログラム [ms

]TextEditor 0.6

5WeirdX 0.2

9ANTLR 0.1

7DynamicJava

考察(3/3)

解析精度 ( エイリアス集合の平均要素数 )既存手法 : インスタンスを区別しない解析提案手法 : インスタンスを区別した解析

提案手法による解析精度の向上を確認プログラム区別する

[個 ]区別しない

[個 ]TextEditor 4.42 8.31WeirdX 15.37 24.54ANTLR 5.94 18.77DynamicJava

9.16 17.19

まとめモジュール化によるエイリアス解析効率化手法の提案

2 フェーズで構成 ( モジュール解析、オンデマンド解析 )AFGを利用

JAATによる提案手法の実装、及びその評価

(a) 効率、 (b) トレードオフ制御への配慮

今後の課題AFGデータベースの構築例外処理、スレッドへの対応

むすび(a) 効率、 (b) トレードオフ制御、 (c) 二次利用を考慮した 3 つのプログラム静的解析手法の提案

節点集約によるスライス計算の効率化手法 … (a),(b)エイリアス情報のモジュール化によるエイリアス解析の効率化手法 … (a),(b)XML データベースを利用したプログラム解析の効率化手法 … (a),(c)

Java プログラム解析フレームワーク JAFの構築

プログラム静的解析手法の効率化と...

Documents

Apache Storm を用いたリアルタイム動画像データ …DEIM Forum 2016 G8-2 Apache Stormを用いたリアルタイム動画像データ解析フレームワークの性能解析

遺伝子解析シーケンス解析のアプリケーションフ …...ジェネティックアナライザシーケンス解析アプリケーションフラグメント解析

20130609 アイドルマスター解析

2012 “ 两会 ” 解析

顧客分析ツール KISSmetrics アクセス解析

インテリジェントビデオ解析システム（IVA）...インテリジェントビデオ解析システム（IVA） 5 6 画像解析システム画像解析システムネットワークシステム

SPM 解析ソフトウェアユースケース

NaITE#14 メトリクス解析（データ解析）の初歩

トランスクリプトーム解析・プロテオーム解析入門 · トランスクリプトーム解析・プロテオーム解析入門産業技術総合研究所生命情報工学研究センター

20121209 図解表現のフレームワーク

C Ií C CÝ5?, a. ¡ - MIDAS User...静的線形解析、静的増分解析(Pushover Analysis) 固有値解析、時刻歴応答解析、応答スペクトル解析床振動解析(AIJ居住性能評価指針搭載)

Salome-Meca活用研究会 - opencae.or.jp · Salome-Mecaとは OSSの構造解析ソフトウェア・応力解析・熱伝導解析・振動解析・線形・非線形動・静解

ANSYSマルチスケール解析ツールのご紹介 · PDF file© 2006CYBERNETSYSTEMSCO.,LTD.AllRightsReserved. マルチスケール解析についてマルチスケール解析とは

分散処理フレームワークHadoopを用いたクラウド型大規模ゲノ … · (1)並列分散処理が可能分散処理フレームワークHadoopを解析処理基盤として

マルウェア解析サービス - Cylance Inc.マルウェア解析サービス v1 0 2マルウェア解析サービスマルウェア解析サービスは有償のサービスです。製品概要

多変量データ解析と時系列解析

ODF解析ソフトウエアはXRDとEBSDデータの解析が可能 - …helpertex.sakura.ne.jp/Soft/DOC2/AllODF-XRD-EBSD.pdfODF解析ソフトウエアはXRDとEBSDデータの解析が可能

Fermilab E653 再解析

Hadoopソースコードリーディング　2回目　　 hadoopでwikipedia解析（≒hadoopでxml解析）

イメージング機器 - Bio-Rad Laboratories...撮影モード Multi Channel 撮影モード、Single Channel 撮影モード解析モード自動解析モード、マニュアル解析モード、多重染色解析モード