特許

J-GLOBAL ID：201703010862586216

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

発明者： 大島 剛志 ,  宮田 俊介 ,  夏川 勝行 ,  星野 隆 ,  佐伯 元司 ,  小林 隆志 ,  林 晋平
出願人/特許権者： 日本電信電話株式会社 ,  国立大学法人東京工業大学
代理人 (3件)： 伊東 忠重 ,  伊東 忠彦 ,  石原 隆治
公報種別：特許公報
出願番号（国際出願番号）：特願2014-099558
公開番号（公開出願番号）：特開2015-215834
特許番号：特許第6112728号
出願日： 2014年05月13日
公開日（公表日）： 2015年12月03日
請求項（抜粋）：

【請求項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