JPH0926897A - プログラム解析装置及びプログラム解析方法 - Google Patents

Abstract

(57)【要約】 【課題】 ソースコードを静的解析によって効率的に解
析し、解析結果によって、処理内容及び入出力仕様を含
むソースコードの内容の理解を容易にするプログラム解
析装置及びプログラム解析方法を提供すること。 【解決手段】 データ抽出手段１が、ソースコードか
ら、当該ソースコードに含まれる各データの構造を表す
情報であるデータ情報を抽出する。関連抽出手段５が、
ソースコードとデータ情報とに基づいて、ソースコード
上の各位置ごとに、データ間に存在する関連を表す関連
情報を抽出する。処理抽出手段６が、ソースコード、デ
ータ情報及び関連情報に基づいて、ソースコード中の各
処理に関わる各関連情報を、当該処理を表す情報である
処理情報として抽出する。指定部７によって、出力の範
囲・態様を指定する。出力手段２が、抽出された各情報
を指定された態様で出力する。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、コンピュータプロ
グラムのソースコードを静的解析によって効率的に解析
し、解析結果によって、処理内容及び入出力仕様を含む
ソースコードの内容の理解を容易にするプログラム解析
装置及びプログラム解析方法に関するものである。

【０００２】

【従来の技術】ソフトウェア開発における検査や保守の
工程において、コンピュータプログラムのソースコード
をレビューして検査したり、改良のためリバースエンジ
ニアリングを行う場合、ソースコードの内容すなわち処
理内容や入出力仕様を解析する必要がある。

【０００３】ソースコードの解析をするための従来技術
の一つは、実行モジュールを生成したりインタプリタを
用いてプログラムのテスト実行をし、実際にデータを処
理してみることである（動的解析）。

【０００４】また、解析の他の手法は、プログラムの記
号実行すなわち静的解析である。代表的な静的解析の手
法では、プログラム中の変数などの要素を、具体的な属
性値ではなく、エラー値の可能性など抽象的な記号で表
す。そして、プログラムの処理の様子をこれら記号の組
み合わせで表す。

【０００５】さらに、ソースコードの解析の他の手法と
しては、人間が手作業でソースコードを読解して内容を
把握することも行われる。

【０００６】

【発明が解決しようとする課題】しかしながら、上記の
ような従来の手法には、次のような問題点が存在してい
た。

【０００７】まず、動的解析では、プログラムの不具合
がそもそも実際に動作できないことである場合に適用で
きない。また、プログラムの変更のたびに実行モジュー
ルを生成することは繁雑である。さらに、プログラムの
一部のみをテスト実行するには、ドライバやスタブな
ど、そのための特殊なプログラムモジュールを要する点
で繁雑である。また、テスト実行にはテストデータが必
要であるが、解析の目的に完全に一致した条件に基づい
てテストデータを作成することは、困難かつ繁雑であっ
た。

【０００８】また、従来の記号実行では、データの変遷
を抽象的に解析することは可能であったが、入力する具
体的なデータに応じて実行内容が変化する場合など、い
わばソースコードの入出力仕様を把握することが困難で
あった。

【０００９】また、ソースコードの手作業による読解
は、繁雑で非常な労力を伴ううえ、行う者の技量によっ
て作業品質が異なるという問題点を有していた。

【００１０】本発明は、上記のような従来技術の問題点
を解決するために提案されたもので、その目的は、ソー
スコードを静的解析によって効率的に解析し、解析結果
によって、処理内容及び入出力仕様を含むソースコード
の内容の理解を容易にするプログラム解析装置及びプロ
グラム解析方法を提供することである。また、本発明の
他の目的は、処理手順が容易なプログラム解析装置及び
プログラム解析方法を提供することである。

【００１１】

【課題を解決するための手段】上記の目的を達成するた
め、本発明は次のような構成及び作用を有する。すなわ
ち、請求項１の発明は、データに対する処理を表すコン
ピュータプログラムのソースコードを解析するプログラ
ム解析装置において、前記ソースコードから、前記各デ
ータの構造を表す情報であるデータ情報を抽出するデー
タ情報抽出手段と、前記ソースコードと前記データ情報
とに基づいて、ソースコードの所定の位置について、デ
ータ間の関連情報を抽出する関連情報抽出手段と、を有
することを特徴とする。

【００１２】請求項１４の発明は、請求項１の発明を方
法の観点から把握したものであって、データに対する処
理を表すコンピュータプログラムのソースコードを解析
するプログラム解析方法において、前記ソースコードか
ら、前記各データの構造を表す情報であるデータ情報を
抽出するデータ抽出ステップと、前記ソースコードと前
記データ情報とに基づいて、ソースコードの所定の位置
について、データ間の関連情報を抽出する関連抽出ステ
ップと、を含むことを特徴とする。

【００１３】請求項１，１４の発明では、ソースコード
から、当該ソースコードに含まれるデータの構造を表す
データ情報が抽出される。これは、ソースコード中のデ
ータについてテーブルを獲得することを意味する。この
ため、データの理解を通じて、ソースコードの内容の把
握が容易になる。また、前記ソースコードと前記データ
情報とに基づいて、ソースコードの所定の位置につい
て、データ間の関連情報が抽出される。これは、抽出さ
れた各データがソースコードのどこでどの様な関連を持
っているかを特定することを意味する。このため、デー
タ間の関連の理解を通じて、ソースコードの内容の把握
が容易になる。

【００１４】なお、請求項１記載のプログラム解析装置
において、前記ソースコードの各部分に位置ＩＤを付加
するラベリング手段を設けたり、請求項１４記載のプロ
グラム解析方法において、前記ソースコードの各部分に
位置ＩＤを付加するラベリングステップを含めてもよ
い。

【００１５】このようにすれば、ソースコードの各部分
に位置ＩＤが付加されるので、抽出された情報の格納・
検索・出力などの各処理を位置ＩＤに基づいて行うこと
ができ、また、テキスト出力及びテキスト入力のみをベ
ースに解析や出力などの処理の対象範囲を指定すること
が容易になる。

【００１６】また、請求項１記載のプログラム解析装置
において、前記ソースコードに当該ソースコードのイン
クルードファイルを加入するプリプロセッサを設けた
り、請求項１４記載のプログラム解析装置において、前
記ソースコードに当該ソースコードのインクルードファ
イルを加入するステップを含めてもよい。

【００１７】このようにすれば、Ｃ言語のようにインク
ルードファイルを用いる言語の場合も、ソースコードに
インクルードファイルが加入されるので、ユーザがあら
かじめこの作業を行っておく必要がない。また、処理中
にインクルードファイルを参照する手順が省略できる。

【００１８】請求項２の発明は、請求項１記載のプログ
ラム解析装置において、前記ソースコードに関連する他
のファイルを参照する参照手段を備えたことを特徴とす
る。

【００１９】請求項１５の発明は、請求項２の発明を方
法の観点から把握したものであって、請求項１４記載の
プログラム解析方法において、前記ソースコードに関連
する他のファイルを参照する参照ステップを含むことを
特徴とする。

【００２０】請求項２，１５の発明では、Ｃ言語のよう
に分割コンパイルをサポートする言語の場合も、処理中
に他のファイルが参照されるので、必要な情報をあらか
じめソースコードに加入しておく手順が省略できる。

【００２１】請求項３の発明は、請求項１記載のプログ
ラム解析装置において、前記データ情報は、データごと
の情報を格納する構造体Ｄと、データの型ごとの情報を
格納する構造体Ｔとを含み、前記構造体Ｄは該当する前
記構造体Ｔに対し関係付けられていることを特徴とす
る。

【００２２】請求項１６の発明は、請求項３の発明を方
法の観点から把握したものであって、請求項１４記載の
プログラム解析方法において、前記データ情報は、デー
タごとの情報を格納する構造体Ｄと、データの型ごとの
情報を格納する構造体Ｔとを含み、前記構造体Ｄは該当
する前記構造体Ｔに対し、関連づけられていることを特
徴とする。

【００２３】また、請求項３，１６の発明では、データ
の型ごとの情報がデータごとの情報とは異別の構造体Ｔ
に格納されているので、同じ型のデータが複数存在する
場合でもメモリ効率が向上する。また、構造体Ｄと構造
体Ｔはポインタで接続されているので、データ検索も容
易である。

【００２４】請求項４の発明は、請求項１記載のプログ
ラム解析装置において、前記関連情報抽出手段は、前記
関連の種別を抽出するように構成されたことを特徴とす
る。

【００２５】請求項１７の発明は、請求項４の発明を方
法の観点から把握したものであって、請求項１４記載の
プログラム解析方法において、前記関連抽出ステップ
は、前記関連の種別を抽出することを特徴とする。

【００２６】また、請求項４，１７の発明では、データ
間の関連の存在のみならず、関連の種別も抽出される。
このため、データ間の関連をより具体的に理解すること
を通じて、ソースコードの内容の把握が容易になる。

【００２７】請求項１記載のプログラム解析装置又は請
求項１４記載のプログラム解析方法において、前記デー
タ情報は、データごとの情報を格納する構造体Ｄと、デ
ータの型ごとの情報を格納する構造体Ｔとを含み、前記
構造体Ｄは該当する前記構造体Ｔに対し、関連づけら
れ、関連情報は、位置ごとの関連のＩＤを格納する構造
体Ｒ１と、関連ごとの具体的情報を格納する構造体Ｒ２
とを含み、前記構造体Ｒ１は該当する前記構造体Ｒ２に
対し、関連づけられ、各構造体Ｒ２は関連を有する各デ
ータの前記構造体Ｄにポインタで接続されている、とい
う構成をとってもよい。

【００２８】このようにすれば、関連ごとの情報が位置
ごとの情報とは異別の構造体Ｒ２に格納されているの
で、同じ関連が複数の位置に存在する場合でもメモリ効
率が向上する。また、構造体Ｒ１と構造体Ｒ２、構造体
Ｒ２と構造体Ｄはそれぞれポインタで接続されているの
で、データ検索も容易である。

【００２９】また、請求項１記載のプログラム解析装置
又は請求項１４記載のプログラム解析方法において、前
記構造体Ｒ１は、位置ごとの各関連を有するデータの集
合のＩＤを格納し、当該集合に含まれるデータのＩＤは
構造体Ｃに格納され、前記構造体Ｒ１は該当する前記構
造体Ｃにポインタで接続されている、という構成をとっ
てもよい。

【００３０】このようにすれば、位置ごとの各関連を有
する集合のデータのＩＤが構造体Ｃに格納されるので、
各種情報の検索が容易になる。

【００３１】請求項５の発明は、請求項１記載のプログ
ラム解析装置において、前記ソースコード、前記データ
情報及び前記関連情報に基づいて、前記ソースコード中
の所定の処理に関する関連情報を、処理情報として抽出
する処理情報抽出手段を有することを特徴とする。

【００３２】請求項１８の発明は、請求項５の発明を方
法の観点から把握したものであって、請求項１４記載の
プログラム解析方法において、前記ソースコード、前記
データ情報及び前記関連情報に基づいて、前記ソースコ
ード中の所定の処理に関する関連情報を、処理情報とし
て抽出する処理情報抽出ステップを含むことを特徴とす
る。

【００３３】請求項５，１８の発明では、前記ソースコ
ード、データ情報及び前記関連情報に基づいて、ソース
コード中の各処理に関わる各関連情報が、当該処理を表
す情報である処理情報として抽出される。このため、ソ
ースコードに含まれる各処理を、データ間の関連が、当
該処理前後でどの様に変化するかによって把握すること
ができ、ソースコードの内容の把握が容易になる。

【００３４】請求項６の発明は、請求項５記載のプログ
ラム解析装置において、前記処理情報抽出手段は、前記
ソースコードに基づいて行われるべき処理について、当
該処理前の前記関連情報及び当該処理後の前記関連情報
の組を抽出するように構成されたことを特徴とする。

【００３５】請求項１９の発明は、請求項６の発明を方
法の観点から把握したものであって、請求項１８記載の
プログラム解析方法において、前記処理情報抽出ステッ
プは、前記ソースコードに基づいて行われるべき処理に
ついて、当該処理前の前記関連情報及び当該処理後の前
記関連情報の組を抽出することを特徴とする。

【００３６】また、請求項６，１９の発明では、各処理
に係る前記処理情報として、当該処理前の前記関連情報
及び当該処理後の前記関連情報の組が抽出される。この
ため、処理前後での関連情報の相違のみならず、処理前
と処理後それぞれの関連情報自体についても検討・理解
・処理が容易になる。

【００３７】請求項７の発明は、請求項６記載のプログ
ラム解析装置において、前記処理情報抽出手段は、前記
処理情報の抽出に際し、前記関連情報を辿ることにより
得られるデータ間の整合性を検出する整合性検出手段
と、この手段により検出された整合性に基づいて、前記
関連情報を修正する修正手段を有することを特徴とす
る。

【００３８】請求項２０の発明は、請求項７の発明を方
法の観点から把握したものであって、請求項１８記載の
プログラム解析方法において、前記処理情報抽出ステッ
プは、前記処理情報の抽出に際し、前記関連情報を辿る
ことにより得られるデータ間の整合性を検出する整合性
検出ステップと、この手段により検出された整合性に基
づいて、前記関連情報を修正する修正ステップを含むこ
とを特徴とする。

【００３９】また、請求項７，２０の発明では、ポイン
タを介する間接的関係も前記関連情報に反映されるの
で、関連情報の正確さが向上する。

【００４０】請求項５記載のプログラム解析装置又は請
求項１８記載のプログラム解析方法において、前記デー
タ情報は、データごとの情報を格納する構造体Ｄと、デ
ータの型ごとの情報を格納する構造体Ｔとを含み、前記
構造体Ｄは該当する前記構造体Ｔに対し、関連づけら
れ、関連情報は、位置ごとの関連のＩＤを格納する構造
体Ｒ１と、関連ごとの具体的情報を格納する構造体Ｒ２
とを含み、前記構造体Ｒ１は該当する前記構造体Ｒ２に
対し、関連づけられ、各構造体Ｒ２は関連を有する各デ
ータの前記構造体Ｄに対し、関連づけられ、前記処理情
報は、実行文ごとに処理前及び処理後の関連情報の各位
置ＩＤを格納する構造体Ｐを有し、各構造体Ｐは該当す
る構造体Ｒ１にポインタで接続されている、という構成
をとってもよい。

【００４１】このようにすれば、実行文ごとの処理前後
の位置ＩＤが構造体Ｐに格納されているので、各構造体
Ｐは該当する構造体Ｒ１にポインタで接続されているの
で、データ検索も容易である。

【００４２】請求項８の発明は、請求項１又は５記載の
プログラム解析装置において、前記抽出の範囲を指定す
る解析範囲指定手段を有することを特徴とする。

【００４３】請求項２１の発明は、請求項８の発明を方
法の観点から把握したものであって、請求項１４又は１
８記載のプログラム解析方法において、前記抽出の範囲
を指定する解析範囲指定ステップを含むことを特徴とす
る。

【００４４】請求項８，２１記載の発明では、情報抽出
の対象とする範囲がソースコード全体ではなく必要な一
部に限定できるので、処理が効率化される。

【００４５】請求項９の発明は、請求項１又は５記載の
プログラム解析装置において、出力する情報の範囲を指
定する出力範囲指定手段と、抽出された前記各情報から
前記指定された範囲に対応する情報を選択する選択手段
を備えたことを特徴とする。

【００４６】請求項２２の発明は、請求項９の発明を方
法の観点から把握したものであって、請求項１４又は１
８記載のプログラム解析方法において、出力する情報の
範囲を指定する出力範囲指定ステップと、抽出された前
記各情報から前記指定された範囲に対応する情報を選択
する選択ステップを備えたことを特徴とする。

【００４７】請求項９，２２の発明では、出力する情報
の範囲をソースコード全体ではなく、必要な一部に限定
できるので、情報の理解が容易になる。

【００４８】請求項１０の発明は、請求項９記載のプロ
グラム解析装置において、前記ソースコード中の反復構
造を検出する第１の検出手段を有し、前記選択手段は、
検出された反復構造に係る部分については、反復複数回
及び１回以下に係る処理に関する情報を選択するように
構成されたことを特徴とする。

【００４９】請求項２３の発明は、請求項１０の発明を
方法の観点から把握したものであって、請求項２２記載
のプログラム解析方法において、前記ソースコード中の
反復構造を検出する第１の検出ステップを有し、前記選
択ステップは、検出された反復構造に係る部分について
は、反復複数回及び１回以下に係る処理に関する情報を
選択することを特徴とする。

【００５０】請求項１０，２３の発明では、反復構造に
ついて必要十分な反復回数に係る処理に関する情報が出
力されるので、解析が効率化される。

【００５１】請求項１１の発明は、請求項９記載のプロ
グラム解析装置において、前記ソースコード中の選択構
造を検出する第２の検出手段を有し、前記選択手段は、
検出された選択構造に係る部分については、選択の条件
の各判断結果に対応する各処理に関する情報を選択する
ように構成されたことを特徴とする。

【００５２】請求項２４の発明は、請求項１１の発明を
方法の観点から把握したものであって、請求項２２記載
のプログラム解析方法において、前記ソースコード中の
選択構造を検出する第２の検出ステップを有し、前記選
択ステップは、検出された選択構造に係る部分について
は、選択の条件の各判断結果に対応する各処理に関する
情報を選択することを特徴とする。

【００５３】請求項１１，２４の発明では、選択構造に
ついて、選択の条件の各判断結果に対応する各処理に関
する情報が出力されるので、選択構造に関する情報の理
解が容易になる。

【００５４】請求項１又は５記載のプログラム解析装置
において、情報の出力の態様を指定する出力範囲指定手
段と、選択された抽出された各情報を指定された態様で
出力する出力手段とを設けてもよい。また、請求項１４
又は１８記載のプログラム解析方法において、情報の出
力の態様を指定する出力範囲指定ステップと、選択され
た抽出された各情報を指定された態様で出力する出力ス
テップとを含めてもよい。

【００５５】このようにすれば、出力する情報の態様す
なわち詳細度や形式などを自由に指定できるので、目的
にあった出力が容易になる。

【００５６】請求項１２の発明は、請求項１又は５記載
のプログラム解析装置において、前記ソースコードと、
抽出されたいずれかの前記情報を、同一の表示装置又は
相互に隣接する表示装置に表示するように構成された出
力手段を有することを特徴とする。

【００５７】請求項２５の発明は、請求項１２の発明を
方法の観点から把握したものであって、請求項１４又は
１８記載のプログラム解析方法において、前記ソースコ
ードの全部又は一部と、抽出されたいずれかの前記情報
のうち全部又は一部に対応する情報を、同一の表示装置
又は相互に隣接する表示装置に表示する出力ステップを
含むことを特徴とする。

【００５８】請求項１２，２５の発明では、例えば解析
結果上で問題点が発見された場合に、当該問題点がソー
スコード上のどの部分に起因するのかを容易に特定でき
る。逆に、ソースコードによる実装が意図したとおりの
結果を生成していることを確認するために、当該実装部
が解析結果上のどの部分に影響しているのかを容易に特
定できる。

【００５９】請求項１３の発明は、請求項１２記載のプ
ログラム解析装置において、前記出力手段は、前記ソー
スコード又は前記情報の一方の一部が指定された場合
に、当該指定された部分に対応する他方の部分を強調表
示するように構成されたことを特徴とする。

【００６０】請求項２６の発明は、請求項１３の発明を
方法の観点から把握したものであって、請求項２５記載
のプログラム解析方法において、前記出力ステップは、
前記ソースコード又は前記情報の一方の一部が指定され
た場合に、当該指定された部分に対応する他方の部分を
強調表示することを特徴とする。

【００６１】請求項１３，２６の発明では、対応する部
分が強調表示されるので、情報の把握が一層容易にな
る。

【００６２】

【発明の実施の形態】次に、本発明の実施の形態（以下
「実施形態」という）について図面にしたがって具体的
に説明する。なお、実施形態の各機能は、所定のソフト
ウェアが、周辺機器を含むコンピュータを制御すること
で実現されるが、コンピュータ及びソフトウェアの構成
は種々考えられるので、実施形態の各機能や各処理に対
応する仮想的回路ブロックを想定して説明する。

【００６３】（１）第１実施形態の構成 第１実施形態は、請求項１〜９に対応するプログラム解
析装置及びこのプログラム解析装置で実行されるプログ
ラム解析方法（請求項１４〜２２に対応する）を示すも
ので、その目的は、ソースコードを静的解析によって効
率的に解析し、解析結果によって、処理内容及び入出力
仕様を含むソースコードの内容の理解を容易にするプロ
グラム解析装置及びプログラム解析方法を提供すること
である。また、第１実施形態の他の目的は、処理手順が
容易なプログラム解析装置及びプログラム解析方法を提
供することである。

【００６４】まず、図１は、第１実施形態のプログラム
解析装置の構成を示す機能ブロック図である。この図に
示すように、第１実施形態のプログラム解析装置（以下
「本装置」という）は、コンピュータプログラムのソー
スコードから、当該ソースコードに含まれる各データの
構造を表す情報であるデータ情報を抽出するデータ情報
抽出手段１と、抽出された情報を出力する出力手段２
と、を有する（請求項１）。

【００６５】また、本装置は、前記ソースコードの各部
分に位置ＩＤを付加するラベリング手段３と、前記ソー
スコードに当該ソースコードのインクルードファイルを
加入するプリプロセッサ４を有する。

【００６６】また、本装置は、ソースコードと前記デー
タ情報とに基づいて、ソースコードの各位置ごとに、デ
ータ間に存在する関連を表す情報である関連情報を抽出
する関連情報抽出手段５を有する（請求項１）。

【００６７】また、本装置は、前記ソースコード、前記
データ情報及び前記関連情報に基づいて、ソースコード
中の各処理に関わる各関連情報を、当該処理を表す情報
である処理情報として抽出する処理情報抽出手段６を有
する（請求項５）。

【００６８】また、本装置は、前記抽出の範囲、出力の
範囲及び出力の態様を指定する指定部７（前記解析範囲
指定手段（請求項８）及び前記出力範囲指定手段（請求
項９）に相当するもの）を有する。また、本装置は、抽
出された前記各情報から前記指定された範囲に対応する
情報を選択する選択手段８を有する（請求項９）。な
お、出力手段２は、選択された抽出された各情報を指定
された態様で出力するように構成されている。

【００６９】（２）第１実施形態の作用及び効果 上記のような構成を有する第１実施形態において、コン
ピュータプログラムのソースコードの全部又は一部の解
析と出力は、次のように行われる。ここで、図２は、第
１実施形態の動作手順を示すフローチャートである。す
なわち、まず、解析対象とするソースコードをキーボー
ド入力やファイル読み込みなどで与える（ステップ
１）。

【００７０】［プリプロセッシング］そして、Ｃ言語の
ように、インクルードファイルを用いる言語のソースコ
ードの場合、プリプロセッサ４が、ソースコードに当該
ソースコードのインクルードファイルを加入する（ステ
ップ２）。より具体的には、一般に実行及びコンパイル
前に行われるべき処理、例えば、コメント行除去、マク
ロ文展開などが行われる。このため、第１実施形態で
は、ユーザがあらかじめこの作業を行っておく必要がな
い。また、処理中にインクルードファイルを参照する手
順が省略できる。例えば、図３のソースコードに図４の
インクルードファイルを加入した結果を図５に示す。

【００７１】但し、プリプロセッサは必ずしも本装置に
組み込む必要はなく、ユーザがあらかじめプリプロセッ
サでインクルードファイルを包含した状態にしてから本
装置にソースコードを与えてもよい。

【００７２】また、前記ソースコードとともに当該ソー
スコードに現われるデータ、手続きなどを定義する他の
ファイルなど参照する参照手段を備えてもよい（請求項
２）。このようにすれば、Ｃ言語のように分割コンパイ
ルをサポートする言語の場合も、処理中に他のファイル
が参照されるので（請求項２、１５）、必要な情報をあ
らかじめソースコードに加入しておく手順が省略でき
る。

【００７３】［ラベリングのステップ］次に、ラベリン
グ手段３が、ソースコードの各部分に位置ＩＤ（実行文
ＩＤを含む）を付加する（ステップ３）。例えば、図３
のソースコードの実行文に実行文ＩＤ（"@S"に続く４桁
の番号）を付加し、実行文と実行文の間、最初の実行文
の直前及び最後の実行文の直後に位置ＩＤ（"@P"に続く
４桁の番号）を付加した結果を図６に示す。なお、ラベ
リングは、インクルードファイルを加入したソースコー
ドとは別個に元のソースコードに対して施してもよい
が、もちろん、インクルードファイルを加入したソース
コードに対して施してもよい。

【００７４】このように、第１実施形態では、ソースコ
ードの各部分に位置ＩＤが付加されるので、抽出された
情報の格納・検索・出力などの各処理を位置ＩＤに基づ
いて行うことができ、また、テキスト出力及びテキスト
入力のみをベースに、解析や出力などの処理の対象範囲
を指定することが容易になる。

【００７５】［解析範囲指定のステップ］なお、抽出の
対象とする解析範囲は、指定部７によって指定すること
ができる（ステップ４／請求項２１）。第１実施形態で
は、各種範囲の指定はソースコードに付された位置ＩＤ
を入力することによって行うことができるが、各種範囲
の指定は、マウスなどのポインティングデバイスによっ
て制御されるカーソルによって指し示すなど、他の手法
によって行ってもよい。このように、第１実施形態で
は、情報抽出の対象とする範囲をソースコード全体では
なく必要な一部に限定し、処理を効率化することができ
る（請求項８、２１）。

【００７６】［データ抽出のステップ］続いて、まず、
データ情報抽出手段１が、ソースコードから、当該ソー
スコードに含まれる各データの構造を表す情報であるデ
ータ情報を抽出する（ステップ５／請求項１４）。これ
は、ソースコード中のデータについてテーブルを獲得す
ることを意味する。この処理は、具体的には、対象言語
のパーザを用いて構文解析を行うことにより、予約語、
その他の識別子の抽出を行うことによって可能となる。
このため、データの理解を通じて、ソースコードの内容
の把握が容易になる。

【００７７】ここで、図７は、本実施形態において抽出
される各情報の一般的格納形式を示す概念図である。す
なわち、この図に示すように、データ情報は、データご
との情報を格納する構造体Ｄと、データの型ごとの情報
を格納する構造体Ｔを含み、構造体Ｄは該当する構造体
Ｔにポインタで接続されている（請求項３、１６）。

【００７８】各「構造体」は固定長又は可変長のデータ
領域である。具体的には、各構造体Ｄは、検索のための
キーであるデータＩＤ、ソースコード中でのデータ名、
当該データの属する型を表す型ＩＤ、当該データのポイ
ンタ演算子の多重度であるポインタ多重度を含む。

【００７９】また、構造体Ｔは、検索のためのキーであ
る型ＩＤ、ソースコード中での型名、当該型の定義内容
を表す型定義情報を含む。型定義情報は構成情報であ
り、この構成情報には構造体定義や共用体定義の構成要
素、即ち型名、メンバ名、タグ名が、定義文に記述され
ている順に要素として格納されており、最後の要素の直
後には、例えば、０値がデリミタとして格納されてい
る。またint やcharなどの基本型の場合は構成情報は空
であり、０値だけが格納される。

【００８０】例えば、図５のソースコードからは図８の
データ情報が得られる。この例は、構造体struct List
の型定義情報であり、int 型のメンバdummy とstruct L
ist* 型のメンバnextを構成要素とすることが記録され
ている。

【００８１】このように、第１実施形態では、データの
型ごとの情報がデータごとの情報とは異別の構造体Ｔに
格納されているので、同じ型のデータが複数存在する場
合でもメモリ効率が向上する。また、構造体Ｄと構造体
Ｔはポインタで接続されているので、データ検索も容易
である（請求項３、１６）。

【００８２】［関連抽出のステップ］次に、関連情報抽
出手段５が、ソースコードとデータ情報とに基づいて、
ソースコード上の各位置ごとに、データ間に存在する関
連を表す関連情報を抽出する（ステップ６／請求項１
４）。これは、抽出された各データがソースコードのど
こでどの様な関連を持っているかを特定することを意味
する。このため、データ間の関連の理解を通じて、ソー
スコードの内容の把握が容易になる。

【００８３】具体的には、ソースコードの各位置ＩＤ
（実行文ＩＤ）毎に、その位置に記述されている実行文
やデータ定義文がもたらすデータ間の相互関連につい
て、代入関係、等価関係、ポインタ参照などの種別を特
定し、その結果を関連データとして抽出・格納する（請
求項４、１７）。例えば、代入文については、データの
型に応じて、代入関係やポインタ参照関係を表すデータ
を生成し、条件比較文については、内容に応じた様々な
等価関係を表すデータを生成する。このような文ごとの
典型的なパターンと、生成されるべきデータ間の相関関
係との対応は、あらかじめ知識ベースなどの形で蓄えて
おく。このように、第１実施形態では、データ間の関連
の存在のみならず、関連の種別も抽出される。このた
め、データ間の関連をより具体的に理解することを通じ
て、ソースコードの内容の把握が容易になる。

【００８４】ここで、図７に示すように、関連情報は、
位置ごとの関連のＩＤを格納する構造体Ｒ１と、関連ご
との具体的情報を格納する構造体Ｒ２とを含み、前記構
造体Ｒ１は該当する構造体Ｒ２にポインタで接続され、
各構造体Ｒ２は関連を有する各データの構造体Ｄにポイ
ンタで接続されている。

【００８５】なお、構造体Ｒ１は、ソースコード上での
位置を特定するためのキーである位置ＩＤ、当該位置で
の各関連に含まれるデータの集合を特定するためのキー
である集合ＩＤ、当該位置での各関連を特定するための
キーであるいくつかの関連ＩＤを含む。また、集合ＩＤ
ごとに、当該集合に含まれるいくつかのデータＩＤを含
む構造体Ｃが対応して設けられている。このように、第
１実施形態では、位置ごとの各関連を有する集合のデー
タのＩＤが構造体Ｃに格納されるので、各種情報の検索
が容易になる。

【００８６】また、構造体Ｒ２は、検索のためのキーで
ある関連ＩＤ、当該関連に関わる各データを特定するた
めの各データＩＤを含み、要素は、各データの詳細な要
素の指定である。関連の具体的な種別は関連種別によっ
て示される。

【００８７】ここで、図９は、データ情報及び関連情報
の例である。この図に示すデータ情報でデータ名がnil
となっているものは、ポインタで参照されている領域や
代入でダミーとなる右辺値を示す。ポインタで参照され
ている領域は、ソースコード中で具体的なデータ名で直
接記載されることはなく、指し示すポインタが入出力仕
様として前提とされているものである。また、関連情報
で要素がnil となっているものは、関連の対象が要素で
はなくデータＩＤで示されるデータ自身であることを示
し、関連種別の" →" 、"=="、":="はそれぞれポインタ
参照関連、等価関連、代入関連を示している。

【００８８】すなわち、図９において、位置ＩＤ0003の
構造体（Ｒ１）1301は集合ＩＤ1003と関連ＩＤ2002と20
05とを要素として持つ。さらに、集合ＩＤ1003の構造体
（Ｃ）1302はデータＩＤ1101と1102と1104とを要素とし
て持つ。

【００８９】このような各構造体においては、例えば、
データＩＤ1101に対応する構造体（Ｄ）1303を参照する
ことによって、データ名がlist、データ型は型ＩＤ0001
すなわちstruct List 、多重度１のポインタ型という情
報が得られる。このように、第１実施形態では、関連情
報の構造体Ｒ１の集合ＩＤをキーとしてデータ集合の構
造体Ｃをたどり、さらに、集合の構造体ＣのデータＩＤ
をキーとしてデータ情報の構造体Ｄの情報を読み出すこ
とにより、特定の関連情報における関係する全てのデー
タの情報が得られる。

【００９０】同様に、例えば、関連ＩＤ2005の構造体
（Ｒ２）1304から、データＩＤ1104、即ちstructList型
のデータ領域のレコードnextにデータＩＤ1102、即ちst
ruct List のポインタ型のデータitemの値が代入されて
いる、という関連を知ることができる。

【００９１】このように、第１実施形態では、関連ごと
の情報が位置ごとの情報とは異別の構造体Ｒ２に格納さ
れているので、同じ関連が複数の位置に存在する場合で
もメモリ効率が向上する。また、構造体Ｒ１と構造体Ｒ
２、構造体Ｒ２と構造体Ｄはそれぞれポインタで接続さ
れているので、データ検索も容易である。

【００９２】［処理抽出のステップ］さらに、処理情報
抽出手段６が、ソースコード、データ情報及び関連情報
に基づいて、ソースコード中の各処理（各実行文）に関
わる各関連情報を、当該処理を表す情報である処理情報
として抽出する（ステップ７／請求項１８）。このた
め、ソースコードに含まれる各処理を、データ間の関連
が、当該処理前後でどの様に変化するかによって把握す
ることができ、ソースコードの内容の把握が容易にな
る。

【００９３】ここでは、各処理に係る処理情報として、
当該処理前の関連情報及び当該処理後の関連情報の組を
抽出する（請求項６、１９）。このため、処理前後での
関連情報の相違のみならず、処理前と処理後それぞれの
関連情報自体についても検討・理解・処理が容易にな
る。但し、処理情報の内容は自由であり、例えば、処理
前後の各関連情報の相違点のみを処理情報として抽出し
てもよい。

【００９４】処理情報は、図７に示すように、実行文ご
とに処理前及び処理後の関連情報の各位置ＩＤを格納す
る構造体Ｐを有し、各構造体Ｐは該当する構造体Ｒ１に
ポインタで接続されているので、データ検索も容易であ
る。

【００９５】なお、構造体Ｐは、ソースコード中での実
行文に対応した実行文ＩＤと、当該実行文の処理前の関
連情報の位置ＩＤと、処理後の関連情報の位置ＩＤを有
する。また、処理の抽出では、処理情報の抽出にあた
り、ポインタによって間接的に関連しているデータ間の
関係に基づいて関連情報が修正される（請求項７、２
０）。このため、関連情報の正確さが向上する。

【００９６】すなわち、各実行文の処理で暗に前提とさ
れている関連情報が修正される。例えば、図９では、位
置@P0001においてデータ集合（ＩＤ1001）の内容はlist
とitemの二つのポインタ値だけとなっているが、実行文
@S0001（図６）の記述からわかるように、実際には二つ
のポインタは空値ではなく、即ちある領域をポイントし
ている。このため位置@P0001におけるデータ集合は、位
置@P0002と同じであると仮定しなければならない。

【００９７】また関連ＩＤ2005の関連についても、実際
にはポインタlist->nextがポインタitemの指し示す領
域、即ちデータＩＤ1103のデータを指し示す事実に基づ
いて修正する必要がある。

【００９８】以上のような修正を行った関連情報を図１
０に示す。図９と比較して修正された部分は網掛けされ
ている部分である。この結果、各実行文について処理前
後のデータ相互関連が全て決定される。なお、ここで
は、処理情報として、図１１に示すような情報が得られ
る。

【００９９】［出力範囲指定のステップ］解析結果の出
力に際しては、指定部７によって、出力の範囲を指定す
ることができ（ステップ８）、選択手段８が、抽出され
た前記各情報から指定された範囲に対応する情報を選択
する（ステップ１０／請求項２２）。このように、第１
実施形態では、出力する情報の範囲をソースコード全体
ではなく、必要な一部に限定できるので、情報の理解が
容易になる。

【０１００】ここでは、出力手段として画面表示装置を
用いるものとするが、表示範囲は、例えば、最初と最後
の実行文のラベルで指定してもよいし、画面に表示され
たソースコードからカーソルやマウスで指定してもよ
い。情報の選択（ステップ１０）では、指定範囲に関わ
る処理情報と、この処理情報の構造体Ｐから直接間接に
たどることができるすべての関連情報並びにデータ情報
が出力対象として選択される。

【０１０１】［出力態様指定のステップ］また、出力に
際して、指定部７によって、出力の態様を指定できる
（ステップ９）。態様としては、典型的には詳細度や出
力形式が考えられ、例えば、詳細度としては、関連情報
と共にデータの型の内容に関する情報まで表示するか否
かなどが考えられる。また、出力形式としては、例え
ば、テキスト出力のみかグラフィカルな表現かなどが考
えられる。このように、第１実施形態では、出力する情
報の態様すなわち詳細度や出力形式などを自由に指定で
きるので、目的にあった出力が容易になる。

【０１０２】［出力のステップ］そして、出力手段２
が、抽出された各情報を指定された態様で出力する（ス
テップ１１）。例えば、実行文@S0001から実行文@S0002
が指定された場合、図１１で示される処理情報が指定し
た態様で出力されるので、処理内容を確認することが可
能であり、同時に入出力仕様を確認することが可能にな
る。なお、図１２は出力例を、図１３は出力例の凡例を
示す。

【０１０３】例えば、図１２では、表示範囲の表示部１
６０１には表示範囲が実行文ＩＤで示されている。また
データ関連の表示部１６０２、１６０３、１６０４に
は、位置ＩＤとその位置ＩＤにおけるデータ相互関連が
図示される。なお、ソースコード中に直接記述はされて
いないが、入出力仕様として前提とされているデータに
ついては、点線で表示される。また、図１４はデータ名
だけに着目した可視化の例である。

【０１０４】なお、一旦解析を行った後は、ステップ８
からステップ１２までの手順を繰り返すことにより様々
な抽象度や形式で出力結果を確認することができる。ま
た、別のソースコードを解析する場合にはステップ１か
らの処理を改めて行う。

【０１０５】以上のように、第１実施形態によれば、コ
ンピュータプログラムのソースコードに実現されている
処理内容及び入出力仕様を静的な解析によって効率的に
解析し、任意の抽象度で出力することができる。これに
より、ソースコードのインスペクション作業が容易にな
り、ソフトウェアの試験工程に於いては不具合の確認な
どの作業効率の向上を図ることができる。また、保守工
程に於いても、機能追加などに伴う修正作業の効率向上
を図ることができる。

【０１０６】（３）第２実施形態 次に制御構造を含んだプログラムの解析の例を示す。す
なわち、Ｃ言語の様な構造化言語の場合、制御構造は順
次、反復、及び選択であるが、このうち順次に関しては
上記のように解析が可能である。

【０１０７】そこで、次に反復構造の解析について説明
する。すなわち、反復構造の構成要素は、大まかに、反
復のための初期化（例えばカウンタの初期化などであ
り、以下「初期化処理部」という）と、反復の対象とな
る部分（以下「反復対象部」という）に分けられる。な
お、反復対象部には反復を行うための条件を判定する部
分も含まれる。

【０１０８】この場合、ソースコード中の反復構造を検
出する第１の検出手段を設け、選択手段について、検出
された反復構造に係る部分については、反復０回及び２
回に係る処理に関する情報を選択するように構成する
（請求項１０、２３）。このようにすれば、反復構造に
ついて必要十分な反復回数に係る処理に関する情報が出
力されるので、解析が効率化される。

【０１０９】具体的には、まず、Ｃ言語においては反復
構造を実現するための構文は複数存在するが、これらは
いずれも上記２つの構成要素を含む点では共通する。そ
こで、ここでは、for 文を含むプログラムを例にとり
（図１５）、インクルードファイルは図４と同一とす
る。

【０１１０】反復構造を含むこのプログラムの解析で
は、上記の初期化処理部と反復対象部に対しての解析結
果を準備する。すなわち、反復構造において、一般には
複数の結果が生成され得るが、データ処理の正当性を確
認するためには反復回数０回、及び２回の解析だけに注
目すれば十分である（参考文献："Detection of Data F
low Anomaly Through Program Instrumentation"、ヒュ
ーストン大学・J.C.Huang 著）。

【０１１１】この場合、反復構造を含む場合の出力範囲
は第１の検出手段や選択手段によって判断してもよい
が、反復回数を指示するように途中の実行文ＩＤを指定
することにより行うこともできる。いずれの場合も、例
えば、反復回数０回については、@P1012、@S1012、及び
@P1013の順に選択される結果、図１６の結果が得られ
る。また、反復回数２回については、@P1012、@S1012、
@S1012、@S1012、及び@P1013の順に選択される結果、図
１７の結果が得られる。

【０１１２】なお、同一箇所の反復実行の有無に応じた
情報が得られれば十分であるから、反復回数は０回及び
２回には限定されず、複数回及び１回以下からなる所望
の反復回数の組み合わせを対象とすればよい。すなわ
ち、特に反復構造からなるソースコードにおいて、一度
も反復構造内を実行しない場合のデータの関連性及び、
複数回実行した場合のデータの関連性を比較することに
よって、よりデータの関連性が明確になることが知られ
ている。

【０１１３】（４）第３実施形態 次に、選択構造の解析について説明する。選択構造の構
成要素は、大まかに、選択の条件を判定する部分（以下
「選択条件判定部」という）と、選択によって実際に実
行される部分（以下「選択対象部」という）に分けられ
る。この場合、選択対象部は選択条件判定部における選
択肢の数だけ存在することになる。

【０１１４】この場合、ソースコード中の選択構造を検
出する第２の検出手段を設け、選択手段について、検出
された選択構造に係る部分については、選択の条件の各
判断結果に対応する各処理に関する情報を選択するよう
に構成する（請求項１１、２４）。このようにすれば、
選択構造について、選択の条件の各判断結果に対応する
各処理に関する情報が出力されるので、選択構造に関す
る情報の理解が容易になる。

【０１１５】具体的には、まず、Ｃ言語においては選択
構造を実現するための構文も複数存在するが、いずれも
上記２種類の構成要素を含む点では共通する。ここで
は、if文を含んだプログラムを例にとり（図１８）、イ
ンクルードファイルは図４と同一とする。

【０１１６】選択構造を含むこのプログラムの解析で
は、上記の選択条件判定部と選択対象部に対しての解析
結果を準備する。この場合、選択構造を含む場合の表示
範囲の判断は、第２の検出手段及び選択手段によって行
ってもよいし、解析の対象とする選択対象部を指示する
ように途中の実行文ＩＤを指定してもよい。いずれの場
合も、例えば、条件が真の時については、@P1023、@S10
24、及び@P1027の順に選択される結果、図１９の結果が
得られる。また、偽の時については、@P1023、@S1025、
及び@P1027の順に選択される結果、図２０の結果が得ら
れる。

【０１１７】（５）第４実施形態 与えられたソースコードと、このソースコードに基づく
解析の結果を、対応付けて表示すれば、両者の対応関係
の理解が一層容易になる（請求項１２、２５）。

【０１１８】具体的には、ソースコードと解析結果を、
同一の表示装置又は隣接する表示装置に同時に表示する
（請求項１２、２５）。ユーザは、マウスやキーボード
などの入力装置を用いて、ソースコードの所望の文又は
範囲を指定する。ソースコードに含まれる各文は、冗長
な文を除いて、最終的な出力結果に含まれる特定のデー
タ間関連の生成に対応しているはずである。そこで、指
定された範囲に対応する部分の解析結果を、反転などで
強調表示する（請求項１３、２６）。

【０１１９】逆に、解析結果のうち所望のデータ間関連
を指定してもよい。各データ間関連は、必ずソースコー
ドの特定の文、あるいは文の組によって生成されている
はずである。そこで、指定されたデータ間関連に対応す
るソースコード上の文、あるいは文の組が、反転などで
強調表示される（請求項１３、２６）。

【０１２０】図２１は、第４実施形態における表示例を
示す図である。この表示例において、ソースコードの文
１０１と、破線矢印で表される関連１０２は、相互に対
応しており、いずれを指定しても他方が強調表示され
る。

【０１２１】これにより、例えば解析結果上で問題点が
発見された場合に、当該問題点がソースコード上のどの
部分に起因するのかを容易に特定できる。逆に、ソース
コードによる実装が意図したとおりの結果を生成してい
ることを確認するために、当該実装部が解析結果上のど
の部分に影響しているのかを容易に特定できる。

【０１２２】（６）他の実施形態 本発明は、上記各実施形態に限定されるものではなく、
実施態様の変更は自由であるから、次に例示するような
他の実施形態をも包含するものである。例えば、解析対
象とするプログラミング言語はＣ言語には限定されず、
各種構造化言語を含む他の言語を対象とすることができ
る。もちろん、非構造的な構文、例えばgoto文などを含
むような場合でも、実行文ＩＤを明示的に指示すること
によって解析結果を得ることが可能である。

【０１２３】また、データの具体的な形式は上記各実施
形態に示したものには限定されず、自由に定めることが
できる。また、出力対象指定手段、第１の検出手段、第
２の検出手段、出力範囲指定手段、選択手段、解析範囲
指定手段、処理情報抽出手段、関連情報抽出手段、参照
手段、プリプロセッサなどは必ずしも設ける必要はな
い。

【０１２４】制御構造の任意の組合せ（例えば、第２実
施形態の反復構造、及び第３実施形態の選択構造の任意
の組合せによるネスト）についても、対象とすることが
可能である。

【０１２５】また、本発明は、一般的にはコンピュータ
のプログラムによって実現されるが、このプログラムを
記録したフロッピーでディスクなどの記録媒体を、独立
して取引することも本発明の一態様である。

【０１２６】

【発明の効果】以上説明したように、本発明によれば、
ソースコードを静的解析によって効率的に解析し、解析
結果によって、処理内容及び入出力仕様を含むソースコ
ードの内容の理解を容易にすることができる。

【図面の簡単な説明】

【図１】本発明の第１実施形態のプログラム解析装置の
構成を示すブロック図。

【図２】本発明の第１実施形態のプログラム解析装置の
動作手順を示すフローチャート。

【図３】本発明の第１実施形態におけるＣ言語プログラ
ムのソースコードの例を示す図。

【図４】本発明の第１実施形態におけるＣ言語プログラ
ムのインクルードファイルの例を示す図。

【図５】本発明の第１実施形態において、図３のソース
コードに図４のインクルードファイルを加入した結果た
るソースコードの例を示す図。

【図６】本発明の第１実施形態において図３のソースコ
ードにラベリングを行った結果たるソースコードの例を
示す図。

【図７】本発明の第１実施形態において抽出される各情
報の一般的格納形式を示す図。

【図８】本発明の第１実施形態におけるデータ情報の例
を示す図。

【図９】本発明の第１実施形態におけるデータ情報及び
関連情報の例を示す図。

【図１０】本発明の第１実施形態において、図９の関連
情報に修正を加えた結果たる関連情報の例を示す図。

【図１１】本発明の第１実施形態における処理情報の例
を示す図。

【図１２】本発明の第１実施形態における出力の例を示
す図。

【図１３】本発明の第１実施形態において、図１２の出
力例の凡例を示す図。

【図１４】本発明の第１実施形態における出力の他の例
を示す図。

【図１５】本発明の第２実施形態における反復構造を含
むプログラムのソースコードの例を示す図。

【図１６】本発明の第２実施形態において、図１５のソ
ースコードの反復０回の処理に係る出力の例を示す図。

【図１７】本発明の第２実施形態において、図１５のソ
ースコードの反復２回の処理に係る出力の例を示す図。

【図１８】本発明の第３実施形態における選択構造を含
むプログラムのソースコードの例を示す図。

【図１９】本発明の第３実施形態において、図１８のソ
ースコードの条件が真の場合の処理に係る出力の例を示
す図。

【図２０】本発明の第３実施形態において、図１８のソ
ースコードの条件が偽の場合の処理に係る出力の例を示
す図。

【図２１】本発明の第４実施形態における表示例を示す
図。

【符号の説明】

１…データ抽出手段 ２…出力手段 ３…ラベリング手段 ４…プリプロセッサ ５…関連抽出手段 ６…処理抽出手段 ７…指定部 ８…選択手段

Claims (26)

【特許請求の範囲】
1. 【請求項１】 データに対する処理を表すコンピュータ
   プログラムのソースコードを解析するプログラム解析装
   置において、 前記ソースコードから、前記各データの構造を表す情報
   であるデータ情報を抽出するデータ情報抽出手段と、 前記ソースコードと前記データ情報とに基づいて、ソー
   スコードの所定の位置について、データ間の関連情報を
   抽出する関連情報抽出手段と、 を有することを特徴とするプログラム解析装置。
2. 【請求項２】 前記ソースコードに関連する他のファイ
   ルを参照する参照手段を備えたことを特徴とする請求項
   １記載のプログラム解析装置。
3. 【請求項３】 前記データ情報は、データごとの情報を
   格納する構造体Ｄと、データの型ごとの情報を格納する
   構造体Ｔとを含み、 前記構造体Ｄは該当する前記構造体Ｔに対し関係付けら
   れていることを特徴とする請求項１記載のプログラム解
   析装置。
4. 【請求項４】 前記関連情報抽出手段は、前記関連の種
   別を抽出するように構成されたことを特徴とする請求項
   １記載のプログラム解析装置。
5. 【請求項５】 前記ソースコード、前記データ情報及び
   前記関連情報に基づいて、前記ソースコード中の所定の
   処理に関する関連情報を、処理情報として抽出する処理
   情報抽出手段を有することを特徴とする請求項１記載の
   プログラム解析装置。
6. 【請求項６】 前記処理情報抽出手段は、前記ソースコ
   ードに基づいて行われるべき処理について、当該処理前
   の前記関連情報及び当該処理後の前記関連情報の組を抽
   出するように構成されたことを特徴とする請求項５記載
   のプログラム解析装置。
7. 【請求項７】 前記処理情報抽出手段は、前記処理情報
   の抽出に際し、前記関連情報を辿ることにより得られる
   データ間の整合性を検出する整合性検出手段と、 この手段により検出された整合性に基づいて、前記関連
   情報を修正する修正手段を有することを特徴とする請求
   項６記載のプログラム解析装置。
8. 【請求項８】 前記抽出の範囲を指定する解析範囲指定
   手段を有することを特徴とする請求項１又は５記載のプ
   ログラム解析装置。
9. 【請求項９】 出力する情報の範囲を指定する出力範囲
   指定手段と、 抽出された前記各情報から前記指定された範囲に対応す
   る情報を選択する選択手段を備えたことを特徴とする請
   求項１又は５記載のプログラム解析装置。
10. 【請求項１０】 前記ソースコード中の反復構造を検出
    する第１の検出手段を有し、 前記選択手段は、検出された反復構造に係る部分につい
    ては、反復複数回及び１回以下に係る処理に関する情報
    を選択するように構成されたことを特徴とする請求項９
    記載のプログラム解析装置。
11. 【請求項１１】 前記ソースコード中の選択構造を検出
    する第２の検出手段を有し、 前記選択手段は、検出された選択構造に係る部分につい
    ては、選択の条件の各判断結果に対応する各処理に関す
    る情報を選択するように構成されたことを特徴とする請
    求項９記載のプログラム解析装置。
12. 【請求項１２】 前記ソースコードと、抽出されたいず
    れかの前記情報を、同一の表示装置又は相互に隣接する
    表示装置に表示する出力手段を有することを特徴とする
    請求項１又は５記載のプログラム解析装置。
13. 【請求項１３】 前記出力手段は、前記ソースコード又
    は前記情報の一方の一部が指定された場合に、当該指定
    された部分に対応する他方の部分を強調表示するように
    構成されたことを特徴とする請求項１２記載のプログラ
    ム解析装置。
14. 【請求項１４】 データに対する処理を表すコンピュー
    タプログラムのソースコードを解析するプログラム解析
    方法において、 前記ソースコードから、前記各データの構造を表す情報
    であるデータ情報を抽出するデータ抽出ステップと、 前記ソースコードと前記データ情報とに基づいて、ソー
    スコードの所定の位置について、データ間の関連情報を
    抽出する関連抽出ステップと、 を含むことを特徴とするプログラム解析方法。
15. 【請求項１５】 前記ソースコードに関連する他のファ
    イルを参照する参照ステップを含むことを特徴とする請
    求項１４記載のプログラム解析方法。
16. 【請求項１６】 前記データ情報は、データごとの情報
    を格納する構造体Ｄと、データの型ごとの情報を格納す
    る構造体Ｔとを含み、 前記構造体Ｄは該当する前記構造体Ｔに対し、関連づけ
    られていることを特徴とする請求項１４記載のプログラ
    ム解析方法。
17. 【請求項１７】 前記関連抽出ステップは、前記関連の
    種別を抽出することを特徴とする請求項１４記載のプロ
    グラム解析方法。
18. 【請求項１８】 前記ソースコード、前記データ情報及
    び前記関連情報に基づいて、前記ソースコード中の所定
    の処理に関する関連情報を、処理情報として抽出する処
    理情報抽出ステップを含むことを特徴とする請求項１４
    記載のプログラム解析方法。
19. 【請求項１９】 前記処理情報抽出ステップは、前記ソ
    ースコードに基づいて行われるべき処理について、当該
    処理前の前記関連情報及び当該処理後の前記関連情報の
    組を抽出することを特徴とする請求項１８記載のプログ
    ラム解析方法。
20. 【請求項２０】 前記処理情報抽出ステップは、前記処
    理情報の抽出に際し、前記関連情報を辿ることにより得
    られるデータ間の整合性を検出する整合性検出ステップ
    と、 この手段により検出された整合性に基づいて、前記関連
    情報を修正する修正ステップを含むことを特徴とする請
    求項１８記載のプログラム解析方法。
21. 【請求項２１】 前記抽出の範囲を指定する解析範囲指
    定ステップを含むことを特徴とする請求項１４又は１８
    記載のプログラム解析方法。
22. 【請求項２２】 出力する情報の範囲を指定する出力範
    囲指定ステップと、 抽出された前記各情報から前記指定された範囲に対応す
    る情報を選択する選択ステップを備えたことを特徴とす
    る請求項１４又は１８記載のプログラム解析方法。
23. 【請求項２３】 前記ソースコード中の反復構造を検出
    する第１の検出ステップを有し、 前記選択ステップは、検出された反復構造に係る部分に
    ついては、反復複数回及び１回以下に係る処理に関する
    情報を選択することを特徴とする請求項２２記載のプロ
    グラム解析方法。
24. 【請求項２４】 前記ソースコード中の選択構造を検出
    する第２の検出ステップを有し、 前記選択ステップは、検出された選択構造に係る部分に
    ついては、選択の条件の各判断結果に対応する各処理に
    関する情報を選択することを特徴とする請求項２２記載
    のプログラム解析方法。
25. 【請求項２５】 前記ソースコードの全部又は一部と、
    抽出されたいずれかの前記情報のうち全部又は一部に対
    応する情報を、同一の表示装置又は相互に隣接する表示
    装置に表示する出力ステップを含むことを特徴とする請
    求項１４又は１８記載のプログラム解析方法。
26. 【請求項２６】 前記出力ステップは、前記ソースコー
    ド又は前記情報の一方の一部が指定された場合に、当該
    指定された部分に対応する他方の部分を強調表示するこ
    とを特徴とする請求項２５記載のプログラム解析方法。