Pat

J-GLOBAL ID：201703010862586216

プログラム分析装置及び方法及びプログラム

Inventor： 大島 剛志 ,  宮田 俊介 ,  夏川 勝行 ,  星野 隆 ,  佐伯 元司 ,  小林 隆志 ,  林 晋平
Applicant, Patent owner： 日本電信電話株式会社 ,  国立大学法人東京工業大学
Agent (3)： 伊東 忠重 ,  伊東 忠彦 ,  石原 隆治
Gazette classification：特許公報
Application number (International application number)：2014099558
Publication number (International publication number)：2015215834
Patent number：6112728
Application date： May. 13, 2014
Publication date： Dec. 03, 2015
Claim (excerpt)：

【請求項1】 プログラムを起動するシナリオを実行し、該プログラムを分析するプログラム分析装置であって、 前記プログラムを前記シナリオにより実行した実行トレース情報を取得し、実行トレース記憶手段に格納する実行トレース取得手段と、 前記シナリオをオブジェクトとし、前記プログラムの機能で実施されるモジュールを属性として、前記実行トレース情報を用いて第1形式文脈を作成し、形式文脈記憶手段に格納する第1形式文脈作成手段と、 前記形式文脈記憶手段の前記第1形式文脈を読み出して、形式概念分析処理により第1概念束を生成して第1概念束記憶手段に格納する形式概念分析手段と、 前記第1概念束記憶手段から前記第1概念束を読み出し、該第1概念束に含まれる各概念から、前記実行トレース記憶手段の前記実行トレース情報を参照して、実行されなかったが呼び出し依存関係が存在し実行される可能性のあった到達可能モジュール群を特定し、可到達モジュール記憶手段に格納する可到達モジュール抽出手段と、 前記可到達モジュール記憶手段の前記到達可能モジュール群を前記形式文脈記憶手段に追加することにより前記第1形式文脈を含む第2形式文脈を作成する第2形式文脈作成手段と、 前記形式文脈記憶手段に格納された前記第2形式文脈を用いて、再度、前記形式概念分析手段に形式概念分析を実行させ、得られた第2概念束を第2概念束記憶手段に格納する手段と、 を有することを特徴とするプログラム分析装置。

IPC (3)：

G06F 9/44 ( 200 6.01) ,  G06F 11/34 ( 200 6.01) ,  G06F 11/36 ( 200 6.01)

FI (3)：

G06F 9/06 620 L ,  G06F 11/34 166 ,  G06F 11/36 112