JPH10254687A

JPH10254687A - プログラム解析装置およびその解析方法

Info

Publication number: JPH10254687A
Application number: JP5598897A
Authority: JP
Inventors: Atsushi Kawashima; 淳川島; Hiromi Washida; 浩美鷲田; Seiji Sasaki; 誠司佐々木
Original assignee: Canon Inc
Current assignee: Canon Inc
Priority date: 1997-03-11
Filing date: 1997-03-11
Publication date: 1998-09-25

Abstract

(57)【要約】【課題】マルチエントリやマルチリターンを持つアセ
ンブリ言語のソースプログラムについての関数の構造を
解析する。【解決手段】ソースプログラムを分岐命令で一連のプ
ログラム命令群が接続されるネットワーク構造とみな
し、ＣＰＵ１１はＲＡＭ１３に記憶されたソースプログ
ラム中の分岐命令を検出して、上記ネットワークの経路
に沿って。プログラム命令群を検索して、ＣＡＬＬ命令
に規定されている関数名を抽出していく。この関数名も
分岐命令とみなされ、関数名をもつ一連のプログラム命
令群が検索の対象となる。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、アセンブリ言語で
記載されたソースプログラムの制御構造を解析し、解析
の結果得られる制御構造を表示するプログラム解析装置
およびそのプログラム解析方法に関する。

【０００２】

【従来の技術】Ｐａｓｃａｌ，ＦＯＲＴＲＡＮ，Ｃ，Ｃ
＋＋，Ａｄａ等の構造化言語で記述されたソースプログ
ラムに対してはプログラム中に記載された関数の呼び出
し関係を示す図２（ａ）のような呼び出しグラフや順次
／選択／繰り返しの制御を記載した図２に示すような図
（ｐａｄ図と呼ばれる）を作成するプログラム解析装置
が提案されている。

【０００３】

【発明が解決しようとする課題】関数呼び出しグラフを
作成する場合、上記従来例では、予め定められた関数名
をプログラム命令の記載順にプログラム検索して抽出す
るという単純なものであるが、アセンブリ言語で記載さ
れたソースプログラムは図１（ａ），（ｂ），（ｃ）に
示すようにマルチエントリやマルチリターンが許されて
おり、関数の終了位置が明確ではないという特徴があ
る。また、上記構造化言語では制御構造は順次、選択、
繰り返しの３種に限定されるが、アセンブリ言語ではそ
のような取り決めがなく、逐次命令、分岐命令、条件分
岐命令、コール（ｃａｌｌ）命令、リターン（ｒｅｔｕ
ｒｎ）命令により構成可能なあらゆるパターンの制御構
造が記述される。したがって、ＣＡＬＬ命令により関数
を呼び出すことが許容されるアセンブリ言語のプログラ
ムでは、上述のプログラム命令の接続構造の複雑さも加
わって、異なる階層に位置する関数相互間の接続構造ま
では解析することは行われていなかった。

【０００４】そこで、本発明の目的は、上述の点に鑑み
て、アセンブリ言語で記載されたソースプログラムの関
数の接続構造を解析可能なプログラム解析装置およびそ
の解析方法を提供することにある。

【０００５】

【課題を解決するための手段】このような目的を達成す
るために、請求項１の発明は、アセンブリ言語で記載さ
れたソースプログラムを解析するプログラム解析装置に
おいて、前記ソースプログラムの構造を、分岐を指示す
る第１命令によりプログラム命令の接続経路が分岐する
ネットワーク構造とみなし、当該ネットワーク構造の接
続経路に沿って、関数名によりその関数を呼び出す第２
命令を検出する検出手段と、当該検出された第２命令に
含まれる関数名を抽出する関数名抽出手段と、複数の関
数の間の関係を記憶するための関係記憶手段とを有し、
前記関数名抽出手段により抽出された第２命令で呼び出
される関数の中に他の第２命令が含まれている場合に
は、該関数に含まれる他の第２命令を前記検出手段によ
り検出し、該第２命令と該他の第２命令の接続関係を前
記関係記憶手段に記憶し、前記関数名抽出手段により抽
出された関数名および前記関係記憶手段に記憶された接
続関係を前記ソースプログラムの制御構造を示す情報と
することを特徴とする。

【０００６】請求項２の発明は、請求項１に記載のプロ
グラム解析装置において、前記接続名と接続関係をツリ
ー形態で可視出力する出力手段をさらに具えたことを特
徴とする。

【０００７】請求項３の発明は、請求項１に記載のプロ
グラム解析装置において、前記検出手段は前記第１命令
に含まれる分岐先名を記憶しておくための分岐先記憶手
段を有し、前記検出手段は、前記ソースプログラムを検
索して前記第１命令を検出し、当該検出した第１命令に
含まれる分岐先名を前記分岐先記憶手段に記憶し、当該
記憶された分岐先名に基づき分岐先のプログラム命令群
を順次に検索し、前記第２命令を検出することを特徴と
する。

【０００８】請求項４の発明は、請求項３に記載のプロ
グラム解析装置において、前記分岐先記憶手段はＦＩＦ
Ｏ構造であることを特徴とする。

【０００９】請求項５の発明は、請求項３に記載のプロ
グラム解析装置において、前記分岐先記憶手段は、検索
済みを示す情報を前記分岐先名に関連付けて記憶する記
憶領域を有し、前記検出手段は、分岐先名の示す一連の
プログラム命令群の検索終了後、該分岐先記憶手段に検
索済みを示す情報を記憶し、検索済みの情報を持つ分岐
先名と同じ分岐先名が新たに検出された場合には、該新
たに検出された分岐先名を前記分岐先記憶手段に記憶し
ないことを特徴とする。

【００１０】請求項６の発明は、請求項１に記載のプロ
グラム解析装置において、前記第１命令は条件無しで分
岐を指示する無条件分岐命令を含むことを特徴とする。

【００１１】請求項７の発明は、請求項１に記載のプロ
グラム解析装置において、前記第１命令は条件に応じて
分岐先を指定する条件分岐命令を含むことを特徴とす
る。

【００１２】請求項８の発明は、請求項１に記載のプロ
グラム解析装置において、前記第２命令を前記第１命令
とみなし、前記第２命令で呼び出される関数名を分岐先
とすることを特徴とする。

【００１３】請求項９の発明は、請求項１に記載のプロ
グラム解析装置において、前記関数名の示す関数の中で
使用する変数名を抽出する変数名抽出手段をさらに具え
たことを特徴とする。

【００１４】請求項１０の発明は、請求項９に記載のプ
ログラム解析装置において、前記関数名と前記変数名と
を互いに関連付けて可視出力する変数名出力手段をさら
に具えたことを特徴とする。

【００１５】請求項１１の発明は、アセンブリ言語で記
載されたソースプログラムを解析するプログラム解析装
置のプログラム解析方法において、前記プログラム解析
装置は内部の記憶装置に記憶された前記ソースプログラ
ムの構造を、分岐を指示する第１命令によりプログラム
命令の接続経路が分岐するネットワーク構造とみなし、
当該ネットワーク構造の接続経路に沿って、関数名によ
りその関数を呼び出す第２命令を検出し、当該検出され
た第２命令に含まれる関数名を抽出し、抽出された前記
第２命令で呼び出される関数の中に他の第２命令が含ま
れている場合には、該関数に含まれる他の第２命令を検
出し、該第２命令と該他の第２命令の接続関係を前記記
憶装置に記憶し、前記抽出された関数名および前記記憶
装置に記憶された接続関係を前記ソースプログラムの制
御構造を示す情報とすることを特徴とする。

【００１６】請求項１２の発明は、請求項１１に記載の
プログラム解析装置のプログラム解析方法において、前
記接続名と接続関係をツリー形態で可視出力することを
特徴とする。

【００１７】請求項１３の発明は、請求項１１に記載の
プログラム解析装置のプログラム解析方法において、前
記プログラム解析装置は、前記ソースプログラムを検索
して前記第１命令を検出し、当該検出した第１命令に含
まれる分岐先名を前記記憶装置に記憶し、当該記憶され
た分岐先名に基づき分岐先のプログラム命令群を順次に
検索し、前記第２命令を検出することを特徴とする。

【００１８】請求項１４の発明は、請求項１３に記載の
プログラム解析装置のプログラム解析方法において、前
記分岐先名を記憶する前記記憶装置の記憶領域をＦＩＦ
Ｏ構造とすることを特徴とする。

【００１９】請求項１５の発明は、請求項１３に記載の
プログラム解析装置のプログラム解析方法において、前
記分岐先名を記憶する記憶装置の記憶領域は、検索済み
を示す情報を前記分岐先名に関連付けて記憶する情報記
憶領域を有し、分岐先名の示す一連のプログラム命令群
の検索終了後、該情報記憶領域に検索済みを示す情報を
記憶し、検索済みの情報を持つ分岐先名と同じ分岐先名
が新たに検出された場合には、該新たに検出された分岐
先名を前記記憶装置に記憶しないことを特徴とする。

【００２０】請求項１６の発明は、請求項１１に記載の
プログラム解析装置のプログラム解析方法において、前
記第１命令は条件無しで分岐を指示する無条件分岐命令
を含むことを特徴とする。

【００２１】請求項１７の発明は、請求項１１に記載の
プログラム解析装置のプログラム解析方法において、前
記第１命令は条件に応じて分岐先を指定する条件分岐命
令を含むことを特徴とする。

【００２２】請求項１８の発明は、請求項１１に記載の
プログラム解析装置のプログラム解析方法において、前
記第２命令を前記第１命令とみなし、前記第２命令で呼
び出される関数名を分岐先とすることを特徴とする。

【００２３】請求項１９の発明は、請求項１１に記載の
プログラム解析装置のプログラム解析方法において、前
記プログラム解析装置は前記関数名の示す関数の中で使
用する変数名を抽出することを特徴とする。

【００２４】請求項２０の発明は、請求項１９に記載の
プログラム解析装置のプログラム解析方法において、前
記関数名と前記変数名とを互いに関連付けて可視出力す
ることを特徴とする。

【００２５】

【発明の実施の形態】以下、図面を参照して、本発明の
実施形態を詳細に説明する。

【００２６】図３および図４を参照して本実施の形態の
プログラム解析方法を説明する。図４において、符号１
は分析対象のアセンブリソースプログラムであり、アセ
ンブリソースプログラムが関数ツリー出力処理２に与え
られると、親子関係（ある関数の実行時にその関数から
次の関数を呼び出すような接続関係）にある関数が検出
される。

【００２７】このために、本実施の形態では、プログラ
ム命令の実行経路が、無条件分岐命令、条件分岐命令等
により分岐することに着目し、ソースプログラムを、プ
ログラム命令を順次に接続したネットワーク構造とみな
す。このような観点では図３に示すように分岐命令が、
ネットワークのノードに相当し、実行順に沿ったプログ
ラム命令系列をアークとみなすことができる。

【００２８】本実施の形態では、上記分岐命令は、無条
件分岐命令、条件分岐命令およびＣＡＬＬ命令の３種と
する。無条件分岐命令は条件なしに命令の実行経路の分
岐を指示するプログラム命令であり、その中に分岐先を
示すラベル名を含む。条件分岐命令は条件に応じて命令
の実行経路の分岐を指示するプログラム命令であり、条
件の種類に応じて１以上の分岐先が存在する。ＣＡＬＬ
命令は関数を呼び出す命令であり、その中に呼び出すべ
き関数名が存在する。これらの、分岐先名および関数名
はアセンブリ言語のソースプログラム中に記載され、次
に、一連のプログラム命令群が記載される。ＣＡＬＬ命
令により呼び出される関数、すなわち、一連のプログラ
ム命令群の中にさらにＣＡＬＬ命令を記載して、他の関
数を呼び出し、実行することが可能である。上述の分岐
先名や関数名で位置が指定される一連のプログラム群の
終了位置には、ＥＸＩＴ（エグジット）命令や復帰（リ
ターン）命令等の、プログラム命令が記載される。

【００２９】そこで、本実施の形態では図４のソースプ
ログラム１に記載されたプログラム命令を関数ツリー出
力処理２において、ソースプログラム１の実行経路に沿
って検索しながら、たとえば、図３の分岐命令１００を
検出すると、分岐命令１００の中に記載されている分岐
先名（関数名を含む）を図４のテーブル４に記載する。
次に分岐先の一連のプログラム群（図３の符号Ａで示す
アーク）を検索してＣＡＬＬ命令を検出して、ＣＡＬＬ
命令に含まれる関数名を抽出し、抽出した関数名を図４
のテーブル４、テーブル５に格納する。なお、テーブル
５は抽出した関数名を記憶すると共に、接続関係のある
関数名を記憶することにより複数の関数名の接続関係を
記憶するテーブルである。最初に検出された関数名が親
であり、複数の親が存在する。テーブル５は縦横の２次
元構造として、縦方向には異なる親の関数名、横方向に
は親につながる子の関数を記憶する構造とすることがで
きる。

【００３０】この検索の過程で、新たに分岐命令１０１
が検索されると分岐先名を分岐先命令の中から抽出し、
その分岐先名をテーブル４に記憶する。

【００３１】このようにして、図３のＡ→Ｂの経路で検
索を続け、復帰命令１０２に到達した場合には、未検索
の分岐先たとえば、符号Ｃの経路の分岐先名をテーブル
４から取り出して、ＣＡＬＬ命令の検索、関数名の取り
出しを行う。

【００３２】ＣＡＬＬ命令で呼び出される関数名も分岐
先の１つとして、テーブル４に記載されるので、その関
数名（親）を持つ関数、すなわち、一連のプログラム群
が検索される。この検索において、ＣＡＬＬ命令および
その中に含まれる関数名が新たに見つかった場合には、
テーブル５に先に登録されている親の関数名の横に新た
に見つかった関数名（子）を記憶する。これにより異な
る階層に位置する関数同士でも親子の関係およびその関
数名をテーブル５に記憶することができる（図４の関数
ツリー表示処理６）。なお、この関数名を持つ一連のプ
ログラム命令群の検索において、演算に使用する変数名
が抽出され、テーブル５の対応関数名に付す形態で抽出
された変数名が記憶される。

【００３３】以後、図４のソースプログラム１の全ての
実行経路についてＣＡＬＬ命令の検索および関数名の抽
出を行って、テーブル５に関数名とその親子関係および
使用される変数名を記憶していく。全ての経路の検索が
終了すると、テーブル５に記憶された関数名および親子
関係は符号７で示すようなツリー（木、階層とも呼ばれ
る）形態で表示される。また、関数で使用される変数名
が符号８で示すように関数名と関連付けられて表示され
る。

【００３４】このようなプログラム解析方法でプログラ
ム解析を行うプログラム解析装置のシステム構成を図５
に示す。プログラム解析装置には汎用のパーソナルコン
ピュータやワークステーションを使用することができる
ので、ハードの構成の説明は簡単に留める。

【００３５】ＣＰＵ１１はＯＳ（オペレーティングシス
テム）に従って、システム制御を行う他、図６〜図８に
示す処理プログラムを実行して、本発明に係るプログラ
ム解析を行う。ＲＯＭ１２には上記ＯＳの一部およびシ
ステムフォント等を記憶している。ＲＡＭ１３はＣＰＵ
１１に対する入出力データ、たとえば、ＣＰＵ１１の実
行のために、ハードディスク記憶装置（ＨＤＤ）８から
ローディングされたプログラム、ＣＰＵ１１の演算デー
タ、キーボード１６から入力されたデータ、プログラム
解析で得られるデータやテーブルが格納される。

【００３６】ＣＲＴ１４は情報の表示を行う。本発明に
係る情報はツリー形態の関数の親子構造と、関数名とそ
の関数で使用される変数名のクロスリファレンスがあ
る。入出力インタフェース（Ｉ／Ｏ）１５はＬＡＮ（ロ
ーカルエリアネットワーク）と接続し、他のコンピュー
タから送られたアセンプリプログラムを受信する。

【００３７】キーボード１６は文字情報等やＣＰＵ１１
に対する動作指示を入力する。マウス１７はＣＲＴ１４
の表示画面の特定位置を指定することによりその位置に
表示されている情報に関連する動作命令、文字、数値等
を入力する。ＨＤＤ１８は上記ＯＳ、プログラム解析プ
ログラム、ツリー形態の表示に使用する図形等を格納す
る。フロッピーディスクドライブ（ＦＤＤ）１９は解析
すべきアセンブリプログラムを記録したフロッピーディ
スクを受け付け、フロッピーディスクからアセンブリプ
ログラムを読み出す。

【００３８】このようなシステム構造で行われるプログ
ラム解析処理を次に説明する。

【００３９】解析対象のアセンブリプログラムを図９の
符号６０に示す。また、図４に示すテーブル４、５の記
憶領域ははＲＡＭ１３上に用意される。テーブル４はＦ
ＩＦＯ（ファーストイン・ファーストアウト）構造を持
つ。

【００４０】解析対象のアセンブリプログラムの指定お
よび解析プログラム実行の指示がＣＰＵ１１１に対して
キーボード６またはマウス１７により与えられるとＣＰ
Ｕ１１は図６の解析プログラムをＨＤＤ１８から読み出
してＲＡＭ１３にロードした後、実行を開始する。この
とき指定された、図９のアセンブリプログラム６０もＲ
ＡＭ１３に格納される。ＣＰＵ１１はアセンブリプログ
ラム６０の調べたいエントリ位置（プログラムのスター
ト位置）この場合、第１行目をセットし（ステップ２
１）、アセンブリプログラム６０の第１行目にチェック
マークを記入する（ステップ２２）。チェックマーク
は、その行のプログラム命令（１以上）が現在、解析中
であることを示す。

【００４１】最初にＭＡＩＮの名前をプログラム命令群
の中の第１行めのプログラム命令の種類識別がＣＰＵ１
１により行われる。第１行目のプログラム命令はＭＯＶ
命令であり、分岐命令、条件分岐命令やＣＡＬＬ命令等
と関係のない命令なので、手順はステップ２３〜ステッ
プ３２へと進み、チェックマークの行位置が第２行目に
更新される（ステップ３２→ステップ２２）。

【００４２】第２行目のＰＵＳＨ命令から第３行目のＣ
ＭＰ命令までは関係のない命令であり、ステップ２３〜
ステップ３２→ステップ２２のループ処理が繰り返され
る。チェックマーク位置が第４行目に到達すると、その
行には条件分岐命令であるＪＺ命令があるので、ＣＰＵ
１１は分岐先名ＬＡＢＥＬ１をＦＩＦＯ構造の記憶領域
（以後、ジャンプ先ロケーションテーブルと称する、図
９符号６１参照、図４のテーブル４に対応）に記憶する
（ステップ２２〜ステップ２６→ステップ２７、）。な
おＦＩＦＯの特徴として、新たに情報を記憶する場合
に、これまでに記憶されている情報は記憶位置が前送り
にされる。情報の記憶位置の更新させて、新しい情報を
記憶することを本実施の形態ではＰｕｓｈと呼ぶことに
する。

【００４３】この後、手順はステップ２７からステップ
２９→ステップ３２→ステップ２２と進み、チェックマ
ーク位置が第６行目に移動する。ここで、条件分岐命令
ＪＢ（図９参照）が検出され、その分岐先ＬＡＢＥＬ２
がジャンプ先ロケーションテーブル６１にＰｕｓｈされ
る（ステップ２７）。

【００４４】分岐命令が検出されても、復帰命令やＥＸ
ＩＴ命令が検出されていないので、チェックマーク位置
は第７行に移動し、ここで、ＣＡＬＬ命令が検出され、
関数名“ＦＵＮ”が抽出される。抽出された関数名“Ｆ
ＵＮ”がジャンプ先ロケーションテーブル６１に格納さ
れると共にＲＡＭ１３上の親子関係テーブル（図４のテ
ーブル５）６２（図９参照）に関数名“ＦＵＮ”が親と
して記憶されるステップ２９→ステップ３０）。なお、
このとき、親子関係テーブル６２内が検索され、検出さ
れた関数名“ＦＵＮ”と同じ名前がすでに記憶されてい
る場合には、その登録記憶は中止される。この場合に
は、新規の関数名であるので、親子関係テーブルに登録
記憶される。

【００４５】図９のソースプログラム６０の例では、以
下、チェックマーク位置の更新が第１２行目まで続き、
ここで、復帰命令が検出される（ステップＳ２３のＹＥ
Ｓ判定）。以上で、図９のソースプログラム６０の第１
行目〜第１２行目までの実行経路が終了する。そこで、
ＣＰＵ１１は手順をステップ２８→ステップ３１へと進
め、次のプログラム命令実行経路、すなわち、ソースプ
ログラム６０の第４行目から第８行目へ分岐する実行経
路の検索を行うべく、ジャンプ先ロケーションテーブル
（図９参照）から分岐先名「ＬＡＢＥＬ１」を取り出し
（ステップ３１）、この分岐先名について検索済みの情
報が付加されていないことを確認し（ステップ３３のＮ
Ｏ判定）、分岐（ジャンプ）先（図９のソースプログラ
ム６０の第８行目）にチェックマーク位置を更新する
（ステップ３４→ステップ２２）。ステップ２２〜ステ
ップ２９までの処理で、分岐命令やＣＡＬＬ命令がない
ことが確認され、次にチェックマーク位置が図９のソー
スプログラム６０の第９行目に移行する（ステップ３２
→ステップ２２）。ここで無条件分岐命令のＪＭＰ命令
が検出され、ジャンプ先ロケーションテーブルに分岐先
名ＥＸＩＴが登録（ＰＵＳＨ）される（ステップ２４→
ステップ２５）。

【００４６】無条件分岐命令の場合には、その分岐先へ
分岐するべく、手順はステップ２５→ステップ２８→ス
テップ３１へと進み、ここで、図９のソースプログラム
６０の第１２行目にチェックマーク位置が更新される。
ここで、ＥＸＩＴ命令が確認され、分岐先名「ＬＡＢＥ
Ｌ１」から始まる一連のプログラム命令群の検索を終了
し、ジャンプ先ロケーションテーブルの分岐先名「ＬＡ
ＢＥＬ１」に検索終了済みの情報が付加される。また、
復帰命令の存在がステップ２３で検出され、手順がステ
ップ２８→ステップ３１へと進み、未検索の分岐先名
「ＬＡＢＥＬ２」がジャンプ先ロケーションテーブルか
ら取り出され、図９のソースプログラム６０の第１０行
目にチェックマーク位置が移動される。

【００４７】以下同様にして、第１０行目〜第１２行目
の間の分岐先名「ＬＡＢＥＬ２」から始まる一連のプロ
グラムの検索が行われる（ステップ２３〜ステップ３２
→ステップ２２のループ処理）。検索が終了するとジャ
ンプ先ロケーションテーブルの分岐先名「ＬＡＢＥＬ
２」には検索済みの情報が付加される。最後にジャンプ
先ロケーションテーブルから分岐先「ＥＸＩＴ」が取り
出され（ステップ３１）、この分岐先での復帰命令の確
認により（ステップ３３→ステップ３４→ステップ２２
→ステップ２３のＹＥＳ判定）、ジャンプ先ロケーショ
ンテーブルの分岐先名「ＥＸＩＴ」にも検索済みの情報
が付加される（ステップ２３）。

【００４８】これにより全てのプログラム命令の実行経
路の検索が終了したことが確認され（ステップ２８）、
図６の処理手順が終了となる。

【００４９】以上の処理では親子関係テーブル６２には
関数名“ＦＵＮ”が抽出される。以上説明した例では子
の関数が存在しないが、この関数についても、上記処理
手順で検出される点については詳細な説明を要しないで
あろう。

【００５０】図６の処理手順が終了するとＣＰＵ１１は
図７および図８の処理手順を実行して親子関係テーブル
６２を参照し、図４の符号７のようなツリー（木）形態
で関数名とその関数名の親子関係がＣＲＴ１４に表示さ
れる（図７のステップ４１〜ステップ４３、図８のステ
ップ５１〜ステップ５５）。子のない関数名は単独で表
示される。図４の符号７の表示例では関数名“ＦＵＮＣ
１”〜“ＦＵＮＣ４”が親で関数名“ＦＵＮＣ８”が関
数名“ＦＵＮＣ７”の子であることを示している。

【００５１】ツリー形態の表示方法については、ディレ
クトリ等をツリー表示する周知の方法を使用すればよ
く、図７および図８の処理手順について詳細な説明を要
しないであろう。なお、ディレクトリ表示と本実施の形
態の関数名表示の違いは２つの親に付属する２つの子関
数が親子の関係（図４のＦＵＮＣ７とＦＵＮＣ８との間
の関係）を結ぶことがあるので、これらの関係もツリー
で表示される。このような関係を検出するためには親子
関係テーブル６２から子の関数名を検出したときに、こ
の関数名を親として持つ子の関数名を取り出す、あるい
は子の関数名の複数の親を捜すことで階層の異なる接続
関係の２つの関数を親子関係テーブル６２から抽出して
表示することができる。

【００５２】また、図９の親子関係テーブル６２には関
数名ごとにその関数名の関数で使用されている変数名が
格納されているので、これらの関数名と変数名を取り出
し、図４の符号８に示すように表示する。上述のツリー
構造の表示と変数名の表示はユーザのキーボード６から
の指示で切り換えてもよいし、双方の表示を１画面に表
示するようにしてもよい。

【００５３】以上説明したように本実施の形態では、ソ
ースプログラムに記載されたプログラム命令をその実行
可能な経路に沿って、全て検索して、ＣＡＬＬ命令で呼
び出される関数名を抽出する。これにより、ソースプロ
グラムが図１に示すような複雑なプログラム構造を有し
ていても、重複することなく、関数名を抽出することが
できる。

【００５４】上述の実施形態の他に次の形態を実施でき
る。

【００５５】１）上述の変数名にはデータを書き込み命
令によりＲＡＭ１３に書き込むための変数と読み込み命
令によりＲＡＭ１３から読み込みための変数が含まれて
いる。また、書き込みと読み込み込みの双方を指示する
命令では両方の変数を有している。そこで、変数名を取
得したように書き込み用の変数名と読み込み用の変数名
の種類判別をプログラム命令の内容識別により行い、図
１０に示すような書き込み変数テーブル２００、読み込
み変数２０１に関数名と関連付けて記憶し、変数名表示
の際に、読み込みと書き込みの変数を種類分けして表示
することも可能である。

【００５６】２）上述の実施の形態では予め与えたアセ
ンブリプログラム全体を解析する例であったが、アセン
ブリプログラムが大きい場合には、アセンブリプログラ
ムの中の解析範囲を範囲指定してもよい。この場合に
は、アセンブリプログラムをＣＲＴ１４に表示しておい
て、文書のように、解析したい領域をハイライト等によ
り範囲指定する。ＣＰＵ１１は範囲指定された領域のプ
ログラムをＲＡＭ１３上に取り込んで解析を行う。

【００５７】３）上述の実施形態では関数名のみの接続
関係を可視出力するようにしたが、分岐先名および関数
名がテーブル４に記憶されることから、分岐先名の位置
関係を関数名の接続構造の表示に挿入することができ
る。一例としては、分岐先名および関数名をネットワー
クの形態で表示し、分岐先名と関数名を色などで区別し
て表示するとよい。

【００５８】４）変数名の表示と関数のツリー表示とを
互いに関連付けることも可能である。たとえば、関数の
ツリー表示の中の特定の関数名をマウス１７により指定
し、指定された関数名の関数で使用される変数名を表示
させたり、変数名表示でマウス１７により指定された関
数名についてのツリー部分を部分的に表示させることが
実現できる。

【００５９】５）上述の実施の形態では可視出力装置の
例としてＣＲＴ１４を例示したが、印刷装置により上述
のツリー構造を印刷出力してもよいこと勿論である。

【００６０】

【発明の効果】以上、説明したように、請求項１、１１
の発明では、プログラム命令の実行可能な経路を第１命
令（分岐命令）により見つけ、経路に沿って、第２命令
（ＣＡＬＬ命令）を検索していくので、マルチリターン
やマルチエントリを有する複雑なプログラムでも、接続
する関数を検出し、その接続構造を解析することができ
る。

【００６１】請求項２、１２の発明では、ユーザが関数
名およびその接続構造を目視確認することができる。

【００６２】請求項３、１３の発明では、分岐先を記憶
しておくことにより１つの経路の検索した後、他の経路
を検索すべく、記憶の分岐先を参照できる。

【００６３】請求項４、１４の発明では、記憶領域の構
造をＦＩＦＯとすることにより、記憶位置を考慮せず、
分岐先を検出した順に分岐先を記憶することができる。

【００６４】請求項５、１５の発明では、検索済みを示
す情報を分岐先に付加することで同じ第１命令（分岐命
令）がソースプログラム中で重複的に使用されても、同
じ経路の重複検索を回避することができる。

【００６５】請求項６〜８、１６〜１８の発明では、ア
センブリプログラムプログラムで使用される各種の分岐
命令を取り扱うことができる。また、第２命令（ＣＡＬ
Ｌ命令）も第１命令（分岐命令）の１つとして取り扱う
ことで、ＣＡＬＬ命令により呼び出される関数の中にさ
らにＣＡＬＬ命令が含まれる関数の接続関係を容易に検
出することができる。

【００６６】請求項９、１０、１９、２０の発明では関
数名の検出に関連して、関数で使用される変数名を抽出
し、可視出力することができるので、ユーザはたとえ
ば、変数名のチェックを行うことができる。

【図面の簡単な説明】

【図１】プログラム構造を示す説明図である。

【図２】プログラムの制御構造を説明するための説明図
である。

【図３】本発明実施の形態のプログラム解析方法を説明
するための説明図である。

【図４】本発明実施の形態のプログラム解析方法を説明
するための説明図である。

【図５】本発明実施の形態のプログラム解析装置のシス
テム構成を示すブロック図である。

【図６】ＣＰＵ１１の処理手順を示すフローチャートで
ある。

【図７】ＣＰＵ１１の処理手順を示すフローチャートで
ある。

【図８】ＣＰＵ１１の処理手順を示すフローチャートで
ある。

【図９】プログラム解析処理を説明するための説明図で
ある。

【図１０】他のプログラム解析処理を説明するための説
明図である。

【符号の説明】

１、６０ソースプログラム２関数ツリー出力処理３分岐呼びだし処理４、５、２００、２０１テーブル６関数ツリー表示処理７関数ツリー表示８変数名表示１１ＣＰＵ１２ＲＯＭ１３ＲＡＭ１４ＣＲＴ１６キーボード１７マウス１８ＨＤＤ

Claims

【特許請求の範囲】

【請求項１】アセンブリ言語で記載されたソースプロ
グラムを解析するプログラム解析装置において、前記ソ
ースプログラムの構造を、分岐を指示する第１命令によ
りプログラム命令の接続経路が分岐するネットワーク構
造とみなし、当該ネットワーク構造の接続経路に沿っ
て、関数名によりその関数を呼び出す第２命令を検出す
る検出手段と、当該検出された第２命令に含まれる関数名を抽出する関
数名抽出手段と、複数の関数の間の関係を記憶するための関係記憶手段と
を有し、前記関数名抽出手段により抽出された第２命令
で呼び出される関数の中に他の第２命令が含まれている
場合には、該関数に含まれる他の第２命令を前記検出手
段により検出し、該第２命令と該他の第２命令の接続関
係を前記関係記憶手段に記憶し、前記関数名抽出手段に
より抽出された関数名および前記関係記憶手段に記憶さ
れた接続関係を前記ソースプログラムの制御構造を示す
情報とすることを特徴とするプログラム解析装置。
【請求項２】請求項１に記載のプログラム解析装置に
おいて、前記接続名と接続関係をツリー形態で可視出力
する出力手段をさらに具えたことを特徴とするプログラ
ム解析装置。
【請求項３】請求項１に記載のプログラム解析装置に
おいて、前記検出手段は前記第１命令に含まれる分岐先
名を記憶しておくための分岐先記憶手段を有し、前記検
出手段は、前記ソースプログラムを検索して前記第１命
令を検出し、当該検出した第１命令に含まれる分岐先名
を前記分岐先記憶手段に記憶し、当該記憶された分岐先
名に基づき分岐先のプログラム命令群を順次に検索し、
前記第２命令を検出することを特徴とするプログラム解
析装置。
【請求項４】請求項３に記載のプログラム解析装置に
おいて、前記分岐先記憶手段はＦＩＦＯ構造であること
を特徴とするプログラム解析装置。
【請求項５】請求項３に記載のプログラム解析装置に
おいて、前記分岐先記憶手段は、検索済みを示す情報を
前記分岐先名に関連付けて記憶する記憶領域を有し、前
記検出手段は、分岐先名の示す一連のプログラム命令群
の検索終了後、該分岐先記憶手段に検索済みを示す情報
を記憶し、検索済みの情報を持つ分岐先名と同じ分岐先
名が新たに検出された場合には、該新たに検出された分
岐先名を前記分岐先記憶手段に記憶しないことを特徴と
するプログラム解析装置。
【請求項６】請求項１に記載のプログラム解析装置に
おいて、前記第１命令は条件無しで分岐を指示する無条
件分岐命令を含むことを特徴とするプログラム解析装
置。
【請求項７】請求項１に記載のプログラム解析装置に
おいて、前記第１命令は条件に応じて分岐先を指定する
条件分岐命令を含むことを特徴とするプログラム解析装
置。
【請求項８】請求項１に記載のプログラム解析装置に
おいて、前記第２命令を前記第１命令とみなし、前記第
２命令で呼び出される関数名を分岐先とすることを特徴
とするプログラム解析装置。
【請求項９】請求項１に記載のプログラム解析装置に
おいて、前記関数名の示す関数の中で使用する変数名を
抽出する変数名抽出手段をさらに具えたことを特徴とす
るプログラム解析装置。
【請求項１０】請求項９に記載のプログラム解析装置
において、前記関数名と前記変数名とを互いに関連付け
て可視出力する変数名出力手段をさらに具えたことを特
徴とするプログラム解析装置。
【請求項１１】アセンブリ言語で記載されたソースプ
ログラムを解析するプログラム解析装置のプログラム解
析方法において、前記プログラム解析装置は内部の記憶
装置に記憶された前記ソースプログラムの構造を、分岐
を指示する第１命令によりプログラム命令の接続経路が
分岐するネットワーク構造とみなし、当該ネットワーク
構造の接続経路に沿って、関数名によりその関数を呼び
出す第２命令を検出し、当該検出された第２命令に含まれる関数名を抽出し、抽出された前記第２命令で呼び出される関数の中に他の
第２命令が含まれている場合には、該関数に含まれる他
の第２命令を検出し、該第２命令と該他の第２命令の接続関係を前記記憶装置
に記憶し、前記抽出された関数名および前記記憶装置に記憶された
接続関係を前記ソースプログラムの制御構造を示す情報
とすることを特徴とするプログラム解析装置のプログラ
ム解析方法。
【請求項１２】請求項１１に記載のプログラム解析装
置のプログラム解析方法において、前記接続名と接続関
係をツリー形態で可視出力することを特徴とするプログ
ラム解析装置のプログラム解析方法。
【請求項１３】請求項１１に記載のプログラム解析装
置のプログラム解析方法において、前記プログラム解析
装置は、前記ソースプログラムを検索して前記第１命令
を検出し、当該検出した第１命令に含まれる分岐先名を
前記記憶装置に記憶し、当該記憶された分岐先名に基づ
き分岐先のプログラム命令群を順次に検索し、前記第２
命令を検出することを特徴とするプログラム解析装置の
プログラム解析方法。
【請求項１４】請求項１３に記載のプログラム解析装
置のプログラム解析方法において、前記分岐先名を記憶
する前記記憶装置の記憶領域をＦＩＦＯ構造とすること
を特徴とするプログラム解析装置のプログラム解析方
法。
【請求項１５】請求項１３に記載のプログラム解析装
置のプログラム解析方法において、前記分岐先名を記憶
する記憶装置の記憶領域は、検索済みを示す情報を前記
分岐先名に関連付けて記憶する情報記憶領域を有し、分
岐先名の示す一連のプログラム命令群の検索終了後、該
情報記憶領域に検索済みを示す情報を記憶し、検索済み
の情報を持つ分岐先名と同じ分岐先名が新たに検出され
た場合には、該新たに検出された分岐先名を前記記憶装
置に記憶しないことを特徴とするプログラム解析装置の
プログラム解析方法。
【請求項１６】請求項１１に記載のプログラム解析装
置のプログラム解析方法において、前記第１命令は条件
無しで分岐を指示する無条件分岐命令を含むことを特徴
とするプログラム解析装置のプログラム解析方法。
【請求項１７】請求項１１に記載のプログラム解析装
置のプログラム解析方法において、前記第１命令は条件
に応じて分岐先を指定する条件分岐命令を含むことを特
徴とするプログラム解析装置のプログラム解析方法。
【請求項１８】請求項１１に記載のプログラム解析装
置のプログラム解析方法において、前記第２命令を前記
第１命令とみなし、前記第２命令で呼び出される関数名
を分岐先とすることを特徴とするプログラム解析装置の
プログラム解析方法。
【請求項１９】請求項１１に記載のプログラム解析装
置のプログラム解析方法において、前記プログラム解析
装置は前記関数名の示す関数の中で使用する変数名を抽
出することを特徴とするプログラム解析装置のプログラ
ム解析方法。
【請求項２０】請求項１９に記載のプログラム解析装
置のプログラム解析方法において、前記関数名と前記変
数名とを互いに関連付けて可視出力することを特徴とす
るプログラム解析装置のプログラム解析方法。