JPH03179536A - プログラム内容解析装置 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 概要 アセンブラ言語で記述されたプログラムの基本的動作や
ｆｊ４造をその仕様と照合する場合には、従来では膨大
な人手により行っており、また過誤が発生する事態を防
止できない。本発明は、プログラムの基本的動作と構造
とが、たとえばロード命令とストア命令とによる入力／
出力状態と、分岐命令による分岐状態とによって規定さ
れることに着目している。したがって命令毎に分岐命令
により規定される実行経路を識別する経路データと、分
岐命令により規定される分岐先命令！３よび分岐元命令
の配置位置に関する位置データとを作成する。

解析処理時には、ストア命令または分岐命令から逆上っ
て各命令の実行内容を読取る。このとき前記位置データ
および経路データは、解析装置に備えられるメモリに記
憶されるが、これらのデータは分岐命令毎に被解析プロ
グラムの全体に亘って設定される必要がある。したがっ
てこれらの設定されるメモリの容量を削減するために、
以下のようにする。

プログラムのメインルーチンの異なる箇所から同一のサ
ブルーチンが読出される場合、当該サブルーチンの実行
内容はいずれの分岐命令に関してであっても同様であり
、したがって単一個の分岐命令に関してサブルーチンの
実行内容を解析した後は、残余の複数の分岐命令に関し
ては具体的な解析処理を省略するとともに、解析処理が
省略された旨のデータを当該サブルーチンの先頭行の位
置データに代えて記憶する。またこの解析省略データが
付された命令の位置データは別途記憶される。逆上り解
析時にこの解析省略データを検出すると、別途記憶され
た位置データを読出して逆上り処理を続行する。これに
より同一のデータを重複してメモリに割当てる事態が防
がれる。

産業上の利用分野 本発明は、マイクロプロセッサなどを動作させるために
用いられるプログラムの内容を解析する装置に関する。

従来の技術 マイクロプロセッサが動作するにあたって実際に汲取る
機械語に最も近い言語としてアセンブラ言語がプログラ
ムを記述するために用いられている。このアセンブラ言
語は高級言語とλなり、機械語の各命令と１対ｌ対応を
なす言語であるため、このプログラムに基づく各種入出
力装置の動作内容やプログラムの実行内容の概略などが
、アセンブラ言語にては把握しに＜＜、仕様上の記載内
容と照合するにあたり、人手によって命令毎に行う必要
がある。またシュミレーションやエミュレーションなど
を行ってプログラムの動作状態を確認する技術が採用さ
れているが、これらはプログラムの中で要求される各種
入力命令に対応して数値やデータを設定しなければなら
ない。

したがってプログラムの各命令を読取ってプログラム全
体の処理や流れの構造を認識し、プログラムの実行内容
を概略的に記述したり、また入出力装置の動作として記
述するなど、プログラムの実行内容の把握が容易な形式
の出力を得ようとする技術が想定される。この場合、プ
ログラムに基づく入出力装置への最終的な出力は、マイ
クロプロセッサが或データをメモリの所定のアドレスに
書込むストア命令である。したがってストア命令に表れ
るオペランドの変数の内容がｉ＆終的に確定されるたと
えばロード命令まで、プログラムを逆上って命令を読取
れば、当該ロード命令でデータが入力されるものとして
前記変数の内容が確定することになる。このようにして
前記ロード命令に用いられたオペランドの変数でプログ
ラムの実行内容を概略的に記述できることなる。

発明が解決しようとする課題 このような従来例において、解析する対象のプログラム
がたとえば第１９図示の構造である場合について説明す
る。このプログラムは、ステップａ１〜ａｌｏの命令か
ら成り、ステップａ２．ａ４にサブルーチンプログラム
を呼出すコール命令ｒＣＡＬＬ　　ＡＪおよびｒｃＡＬ
Ｌ　　１３Ｊが配置されている。ここでステップａ５か
らプログラムを′逆りる場合、逆上り経路としては、ａ
　５→ａ　８→ａ　７→ａ　６　→・・・および ａ　５→　ａ　８→　ａ　７→　ａｌｏ　→ａ　９→・
・の２種類想定されるが、実際のプログラムの実行順を
考慮すると後者は実際には実行され得ない経路である。

すなわちプログラムの内容を解析するにあたって、プロ
グラムを命令の実行内容に基づいて逆上って順次的に読
取る技術のみでは、実際のプログラムの実行経路からは
あり得ない経路も解析な対象としてしまい、解析時間が
長くなってしまうとともに、実際のプログラム実行内容
と異なる解析結果を導出することになり極めて不具合で
ある。

本発明の目的は、上述の技術的課題を解消し、プログラ
ムを逆上って命令を読取り、内容を解析するにあたって
実際の実行経路に対応した解析経路を選択して、実行経
路としては有り得ない解析経路を選択する不具合を解消
したプログラム内容解析装置を提供することである。

課題を解決するための手段 本発明は、複数の命令から成るプログラムの実行順序を
命令の配列順序と異ならせる分岐命令を複数含む第１プ
ログラム部分と、第１プログラム部分の複数の分岐命令
により実行順序が分岐して実行される第２プログラム部
分とを含むプログラムの各命令を、実行順とは逆に逆上
って読取り、その内容を解析する装置において、 各命令毎に、分岐命令に対応するプログラムの複数の実
行経路を識別する経路データと、分岐命令により規定さ
れる分岐先命令または分岐命令のいずれかである命令毎
に、対応する分岐命令または対応する分岐先命令のいず
れかの位置データとを含む分岐データを作成するととも
に、前記第１プログラム部分の各分岐命令に対応して第
２プログラム部分の経路データおよび位置データを作成
する際に、第２プログラム部分に実行順序が分岐する複
数個目の分岐命令の場合には、第２プログラム部分に亘
る経路データおよび位置データの作成処理に代えて、第
２プログラム部分の先頭命令に対応して前記経路データ
とともに、位置データと対応する解析省略識別データと
位置データとを作成し、当該第２プログラム部分に関連
する分岐元命令および分岐先命令に関連して位置データ
に対応する前記解析省略識別データと経路データとを作
成する分岐データ作成手段と、 経路データを記憶する経路データ記憶手段と、位置デー
タまたは解析省略識別データのいずれかを記憶する位置
データ記憶手段と、 解析省略識別データに対応する命令の位置データを記憶
する解析省略位置データ記憶手段と、プログラムを逆上
って各命令を読取る逆上り読取手段であって、逆上り時
には各命令の経路データと位置データとを、経路データ
記憶手段と位置データ記憶手段とから読出し、連続する
同一経路データに対応し、かつ位置データで規定される
分岐経路に従ってプログラムを逆上って読取るとともに
、位置データが前記解析省略データである場合に解析省
略位置データ記憶手段がら対応する位置データを読出し
て逆上って命令を読取る、そのような逆上り読取り手段
とを含むことを特徴とするプログラム内容解析装置であ
る。

作　　用 本発明に従えば、命令毎に分岐命令により規定される実
行経路を識別する経路データと、分岐命令により規定さ
れる分岐先命令および分岐元命令の配置位置に関する位
置データとを分岐データ作成手段として作成する。解析
処理時には、ストア命令または分岐命令がら逆上って各
命令の実行内容を逆上り読取手段にて読取る。このとき
前記位置データおよび経路データは、位置データ記憶手
段および経路データ記憶手段に記憶される。

プログラムのメインルーチンの異なる箇所がら同一のサ
ブルーチンが呼出される場合、当該サブルーチンの実行
内容はいずれの分岐命令に関してであっても同様であり
、したがって単一個の分岐命令に関して、分岐データ作
成手段にてサブルーチンの経路データおよび位置データ
を作成した後は、残余の複数の分岐命令に関しては具体
的な解析処理を省略する旨のデータを当該サブルーチン
の先頭行の位置データに代えて記憶する。またこの解析
省略データが付された命令の位置データは別途記憶され
る。逆上り解析時にこの解析省略データを検出すると、
全体別途記憶された位置データを続出して逆上り処理を
続行する。これにより同一のデータを重複してメモリに
割当てる事態が防がれる。

実施例 第１図は本発明の一実施例のプログラム内容解析装置（
以下、解析装置と略す）１の椹成例を示すブロック図で
ある。解析装置１には外部記憶装置２が接続され、解析
対象となる高級言語やアセンブラ言語で記述されたプロ
グラムが保存される。

解析装置１は外部記憶装置２からのプログラムを１１！
！械語に変化するアセンブラ３を備え、アセンブラ３か
らのアセンブルリストがアセンブルリストファイル記憶
部４に記憶される。以下「記憶部」の名称は解析装置１
に備えられるたとえばＲＡＭ（ランダムアクセスメモリ
）や固定ディスク装置などの内部記憶装置の所定の領域
を示す。

アセンブルリストファイル記憶手段４からの解析対象と
なるアセンブルプログラムは、解析２ｆ￥備処理手段５
に与えられ、後述するプログラム解析に先立ち解析対象
となるプログラムのデータが内容別に分類される。解析
準備処理手段５には複数の記憶部が接続される。リスト
ファイル記憶部６には被解析プログラムの機械語とアセ
ンブラ言語の二一モニツクから成る命令列が記憶される
。ＲＡＭファイル記憶部７には被解析プログラムで用い
られる各種変数が記憶される。マツプデータ記憶部８に
は被解析プログラムで用いられるマツプ形式などでの固
定データが記憶される。またその他に記憶部９が接続さ
れ、被解析プログラムで用いられるたとえば割込みベク
トルのベクトルアドレスや、前記リストファイル記憶部
６に記憶されている二一モニツクのプログラムに関する
ラベルなどが記憶される。また解析装置ｌには命令デー
タファイル記憶部１０が設けられ、被解析プログラムで
用いられる命令が予め記憶される。

前記リストファイル記憶部６からの二−モニツク形式で
のプログラムは分岐データ作成手段としての流れ構造解
析手段１１に与えられ、被解析プログラムにおける処理
の流れの構造、すなわち分岐の有無、分岐命令が想定さ
れる場合の分岐先命令の位置の変動およびスタックのネ
スティングの程度などを解析するようにしている。ここ
ではこれ以降のすべての解析処理の基礎データとなる流
れ制御ファイルを作成し、流れ制御ファイル記憶部１２
に記憶する。前記リストファイル記憶部６、命令ファイ
ル記憶部２０および流れ制御ファイル記憶部１２からの
各データに基づいて分岐条件解析部１３、ストア内容解
析部１４、完全分岐条件解析部１５は後述するそれぞれ
の解析処理を行い得られた各データを経路データ記憶手
段および位置データ記憶手段を含む分岐条件ファイル記
憶部１６、実行内容ファイル記憶部１７、および完全分
岐条件ファイル記憶部１８に記憶する。

流れ制御ファイル、分岐条件ファイルおよび実行内容フ
ァイルからフローチャート作成部１９は、被解析プログ
ラムのフローチャートを作成して出力する。また実行内
容ファイルおよび完全分岐条件ファイルから実行内容解
析結果出力部２０は被解析プログラムの実行内容をたと
えば印字出力する。

第２図は解析準備処理手段５の動作を説明するフローチ
ャートである。ステップａ１において解析装置ｌは外部
記憶装置２からソースプログラムを読込み、アセンブラ
３にてアセンブル処理を行う、アセンブルリストファイ
ル４に記憶されたアセンブルプログラムに対して、解析
準備処理手段５はステップａ２にて各命令毎に一連の番
号（以下、行番号と称する）を付与する。このとき各命
令は後述するようにたとえばストア命令、入出力命令、
分岐命令あるいは演算命令などのようにその種類によっ
て分類される。これは前記命令データファイル記憶部１
０に記憶されている命令を参照して行われる。ステップ
ａ３ではこのような命令の分類に基づいて、前述した各
種データファイルの作成が行われる。

次に解析装置１は、流れ構造解析手段１１によりリスト
ファイル記憶部６に記憶されているｔｉ械語と二一モニ
ツクから成るプログラムファイルに関して流れ構造解析
処理を行う、この解析処理は被解析プログラムの流れ構
造（分岐の有無、分岐先の特定、スタックのネスティン
グの程度など）を解析する処理であり、以後のすべての
解析プログラムの基礎データとなる前述した各種ファイ
ルを作成する。とりわけ分岐命令の存在に基づく分岐先
命令の行番号などの抽出の池、「逆上り（さかのぼり）
」概念と「属性」概念とを表すデータを作成する。

（１）逆上り概念 プログラムの実行内容を解析するためにプログラムをそ
の実行順に従って命令を読取って解析しようとする場合
、各種フラグなどのコンデイションコードの変化、複数
の命令の間の相関関係など。

当該命令に関連して想定されるすべてのデータをＭｍし
ておく必要がある。このようなデータの中には命令の種
類によっては不必要なデータがある場合であっても、以
後の解析処理で、どのデータが必要になるか判断できず
、このためすべてのデータを収集する必要がある。

本発明に従う「逆上り」概念はこのような課題を解消す
るための方策である。

本発明は機械語やアッセンブラプログラムで記述された
プログラムを、分岐命令およびストア命令の分岐条件や
ストア内容を合成することにより、把握容易な形式に論
理式により記述しようとするものである。このため前記
分岐命令またはストア命令を始点とし、当該分岐条件ま
たはス１ヘア命令の内容が確定する個所までプログラム
を逆上りつつ、必要な情報のみを収集するものである。

ここでプログラム例として下記第１表のプログラムに則
して説明する。

（以下余白） 第 表 上記プログラム例で、実行順序は行番号１−２−３→４
→５１６または行番号１→２→３→４→５→７である。

分岐命令は「Ｂｃｃ」であり、その条件は行番号４の（
Ａ−＃８）が０以上が負であるかで決定される。そのた
めにはアキュムレータＡの値が確定する必要がある。そ
のためには行番号３にてアキュムレータＡ、Ｂの双方の
値が確定する必要があり、行番号２．１を読取って初め
てその値が確定する。

流れ構造解析手段１１では上記逆上り処理に必要な情報
、すなわち或命令とその前行とはプログラムの実行順に
従った連続した命令あるが否がの判断のためのデータや
、これらの命令が不連続の場合、どの行番号の命令へ連
続しているかに関するデータなどの後述する属性データ
を作成している。

（２）属性概念 プログラムにはメインルーチンと、メインルーチンの所
定の個所がら処理が分岐されるサブルーチンとを含んで
構成される。同一のサブルーチンでも複数箇所がら呼出
される場合があり、メインルーチンに処理を戻すリター
ン命令ＲＥＴによる分岐先の位置は、メインルーチンの
呼出し命令に対応して変化する。したがって１つのサブ
ルーチンによっても複数の実行経路が設定されていると
考えられ、処理経路を区分する情報として属性概念を設
定する。以下、第２表で示されるプログラム例に沿って
説明する。

（以下余白） 第 ２ 表 上記プログラム例のフローチャートは第３図に示される
。

このプログラム例の実行順序は行番号１→２→３→９→
１０→１１→４→５→６→８→９→１０−１１→７→・
・・である、一方、行番号７がらプログラムを逆上る場
合、第１の経路として行番号７→　１１　→　１０→９
→８→６→５→４→　１　■　→　１０−４９→３→２
→１→・・・があるが、その他に行番号７→１１→１０
→９→３→２→・・・などの逆上り経路が存在している
ことになる。このような後者の逆上り経路は実行順序か
らはあり得ない経路であり、前記属性概念を用いてこの
ような不所望な経路の選択が防止される。

第２表のプログラム例において、分岐先制、分岐元間、
流れフラグ欄および属性間の内容が以下のようにして決
定される。

（ａ）属　性 行番号１〜７は行番号３．６のＣＡＬＬ命令によって処
理が分岐し、かつサブルーチンプログラムを含んでいな
いので、すべて同一の属性記号Ｍが与えられる０行番号
９〜１１は行番号３のＣＡＬＬ命令により処理が移され
るサブルーチンプログラムであり、属性記号Ａが与えら
れる。また行番号８〜１１は行番号６のＣＡＬＬ命令に
より処理が移されるサブルーチンプログラムであり、前
記属性記号Ａと異なる属性記号Ｂがそれぞれ与えちれる
。

（ｂ）分岐先制 上記プログラムの分岐命令は行番号３，６，７゜１１に
配置されており、これらの処理が移る先は各命令の内容
に対応してそｈぞれ行番号９，８゜１であり、分岐命令
ＲＥＴでは対応するＣＡＬＬ命令の直後の行番号４また
は行番号７である。分岐先桐にはこのような分岐先の行
番号と当該行番号の命令が有する属性とが組になったデ
ータが設定される。

（ｃ）分岐元間 前記各分岐命令により処理を移される分岐先の命令から
見て、処理が当該分岐先命令へ移る元となる分岐元命令
が対応１寸けられる。したがって分岐元間には、各命令
毎に前記分岐元命令が対応付けられる場合にはその分岐
元命令の行番号と当該分岐命令の所属する属性記号とが
組となったデータが設定される。

（ｄ）流れフラグ欄 流れフラグ「１」は当該命令が前行の命令がら３！続し
た命令であることを示す、流れフラグｒＱ」は当該命令
が前行の命令以外の他の命令がら処理が分岐してくる分
岐先命令であることを示す、すなわち行番号ｌ〜３は一
連の命令であり、行番号４の命令は行番号３のＣＡＬＬ
命令によりサブルーチンプログラムＡが実行されて行番
号１１のＲＥＴ命令により処理が分岐してきた命令であ
る。

このため流れフラグＣｏ」が付される。同様にして行番
号５，６には流れフラグ「１」が付され、行番号７には
流れフラグｒ□、が付される。

行番号８が行番号６のＣＡＬＬ命令により処理が分岐し
てくる命令であり、流れフラグｒ　Ｏ、が１寸される０
行番号９は行番号３のＣＡＬＬ命令により処理が分岐し
てくる命令であり、流れフラグｒ□Ｊが付さｉｚる命令
であるが、前記行番号３すＣＬＬの後に行番号６のＣＡ
ＬＬ命令が行われるので、行番号９は行番号８に連続す
る命令となり、第２表のように流れフラグ「１」が与え
られる。

行番号１０．１１については流れフラグ「１」が与えら
れる。

上記第２表のプログラム例では、ＣＡＬＬ命令などその
命令から処理が分岐し、またその命令へ処理が分岐して
くる命令に関して説明したが、般にマイクロコンピュー
タのプロゲラ１１の実行は、プログラムカウンタ（ＰＣ
）の出力するアドレスの命令を読取って実行し、その命
令の実行により次に実行すべき命令のアドレスがプログ
ラムカウンタに格納される。

一方、プログラム中にザブルーチンプログラムが含まれ
ている場合、処理が分岐するが、このときスタックが用
いられる。スタックは周知のように、先入れ後出しくフ
ァーストインラストアラｌ−。

ＦＩＬＯ方式）のメモリであり、サブルーチンを呼出す
ときサブルーチンから処理が戻るべきメインルーチンの
次のアドレスが格納される。ザブルーチンの処理が終了
後、リターン命令ＲＥＴによりスタックに格納されてい
るデータがプログラムカウンタに転送され、当該アドレ
スからプログラムが実行される。したがってスタックの
記憶内容を変更する命令が含まれていれば、サブルーチ
ンプログラムからの復帰先を変更することができる。

このようなプログラム例を下記第３表に示す。

第３表のプログラム例は第２表のプログラム例の行番号
４〜８が変更されている。第３表のプログラム例で分岐
先間、分岐元欄および流れフラグ欄のデータの決定方法
は第２表のプログラム例の場合と同様である。以下、属
性の決定方法について説明する。

行番号１〜３は一連の命令であり、属性データＭを与え
る。行番号３のＣＡＬＬ命令により処理は行番号９に分
岐するので、行番号９〜１１には他の属性記号Ａを与え
る０行番号１１のｒｔＥＴ命令により処理は行番号４に
復帰する。この命令には属性記号Ｍを与える。

行番号５のＰ　Ｓ　Ｈ命令により、前述したスタックの
最新のアドレスデータがＸレジスタの内容に書換えられ
る。この時点で属性データをＢに変更し、以下行番号１
１まで同一の属性データＢを与える。このようにして、
前述したスタックに格納されているデータを変更する命
令を含むプログラムに関する属性が決定される。

上記第２表および第３表のプログラム例に関する流れ制
御データの属性データは、スタックの内容を変更する命
令を含む分岐命令に関してプログラムの実行経路毎に、
前述したように異なる記号を与えるようにしている。こ
のような方法の場合、被解析プログラムにおける属性の
数が増大すると、後述するようにプログラムを逆上って
解析を行う場合、命令毎にすべての属性間の属性データ
を検索して同一の属性に沿って逆上るような処理を行う
ので、前記属性データの数を減小できればより高速な処
理が実現できる。

下記第４表はプログラム内容は第３表のプログラム内容
と同一であるが、前記第２表および第３表とは異なる流
れ制御データを、分岐欄１．２゜・・・および属性間１
，２．　　・・とじて設定している。

以下、これらの決定方法について説明する。

（以下余白） （ｅ）属性ｎｉ　（ｉ　＝　１　、２　）　−属性間の
行番号データＮＯは分岐命令毎に設定され、分岐先命令
の行番号が記述される。属性データｔｏは当該分岐命令
により、どの属性間に処理が分岐したかを表す、また行
上りフラグ欄においてフラグ＝「Ｏ」は対応する命令が
分岐先命令であり、直前の行の命令とは処理が連続しな
い命令であることを示し、フラグ＝’ｊ」　（ｊ＝１゜
２、・・・）は属性間の番号を示す０行番号１は行番号
１１を分岐命令とする分岐先命令の場合があり、したが
ってフラグ＝「Ｏ」が設定される。また順下りフラグ欄
においてフラグ＝「０」は、対応する命令が直後の命令
と処理が連続しない命令であり、分岐命令であることを
示す。

行番号２ではまず設定された属性間１の番号がフラグ＝
「１」として設定される１行番号３は分岐命令であり、
分岐先の行番号データＮ０＝ｒ９Ｊが設定される。属性
データｔｏについてｔｏ＝ｒ１」が設定される。この後
、処理は行番号９へ分岐し、したがって逆上りフラグ＝
「Ｏ」が設定される０行番号１０には逆上りフラグ＝「
１」が設定される０行番号「１１」は分岐元命令であり
、行番号データＮ０＝ｒ４Ｊが設定される。この行番号
４の命令は現時点では属性間１の範囲にあり、したがっ
て属性データｔｏ＝’ｌ」が設定される。

この後、処理は行番号４へ移る。このため逆上りフラグ
および順下りフラグはｒＱ、、ｒｌＪとなる。これ以降
、行番号５〜１０には逆上りフラグ＝「Ｏ」または「１
」のいずれかが設定される。

この後、処理は行番号１１にｆｆ’ｌ達する６分岐先は
行番号５のＲＳＨ命令により行番号１に変更されており
、したがって属性間２が増設され、逆上りフラグ−「２
」が設定される。また行番号データＮ〇−「１」と属性
データｔｏ−ｒｌＪが設定される。

（ｆ）分岐瓦間ｉ　（ｉ＝１．２．・・・）この分岐瓦
間のデータは分岐先命令とについて設定され、分岐先の
行番号データＮｏと、当該分岐命令の直前の命令が属す
る属性間番号ｆｒと、分岐先命令の属する属性間番号ｔ
ｏとがそれぞれ設定される。

以下、分岐瓦間のデータと属性間のデータとを用いて第
４表のプログラム例で逆上り解析可能であることを説明
する。逆上りフラグ＝「１」について逆上ると、行番号
９で道上りフラグ＝「０」となるので分岐瓦間を参照し
、行番号３の属性間１から分岐していることが理解され
る。さらに逆上り、行番号１ですべての情報が確定する
。したがって逆上りフラグ−「１」に関する経路は行番
号１０→９→３→２→１となり、その処理内容は、［Ｐ
ＯＲＴ１＋Ｏ］　＋１→［ＰＯＲＴ１＋Ｏ］　　　　　
・・・（１〉となることが理解される。

次に逆上りフラグ＝「２」について逆上ると、まず属性
間２が参照されるが、行番号９にて逆上りフラグ＝「１
」に変更されるので、行番号８については属性間１が参
照される。これ以降、前述と同様に逆上って読取り、行
番号６にてすべての情報が確定する。これによれば処理
内容は、［ＰＯＲＴ２＋Ｏ］　＋　１　＋　１→［ＰＯ
ＲＴ２＋Ｏ］　　・・・〈２〉となることが理解される
。

第４図は流れ構造解析手段１１の動作を説明するフロー
チャートである。流れ構造解析手段１１の動作の概略は
上記第２表〜第４表を参照して説明したが、以下にその
動作を詳述する。第４図ステップＣ１では解析を開始す
る行番号Ｉｎを所定の値に設定し、また各種データを所
定の値に初期化する。ステップｃ２では処理が最終行ま
で到達したか否かを判断する。到達していなければ処理
はステップｃ３にｆ多り、現在解析の対象となっている
命令の行番号１ｎに関して設定される属性間の個数を表
す配列ＣＺ［１ｎ］が０であるか否かを判断する。個数
配列ＣＺが０であれば、初めて解析する命令であること
を意味する。

ステップＣ３の判断が否定であれば処理はステップｃ４
に移り、属性間の個数を１つ増加する。

ステップＣ５では第４表を参照して説明した属性データ
を設定する。ステップｃ６では行番号Ｉｎの命令が分岐
先行であるか否かを判断する０分岐先行であればステッ
プＣ７で第４表行番号４の命令における分岐元ｎ１など
の分岐瓦間を設定し、ステップＣ８に移る。ステップＣ
６の判断が否定であればステップｃ９に移り、前記逆上
りフラグや順下りフラグを設定する。

以下、上記逆上りフラグと順下りフラグとについて説明
する。第５１２１は流れ制御ファイル記憶部１２の構造
を説明する図である。流れ制御ファイル記憶部１２は、
分岐元ファイル部２１と属性ファイル部２２とから構成
される。第６（２Ｉは分岐元ファイル部２１のｔｇ造を
説明する図である。分岐元ファイル部２１は行番号毎に
設けられ、当該行番号を分岐先とする分岐元命令の関数
を記憶する分岐元個数記憶部２３と、第４表を参照して
３（ト明した分岐瓦間に相当する分岐瓦間記憶部２４が
たとえば８０領域設定される。分岐瓦間記憶部２４は行
番号記憶部２５、分岐元属性記憶部２６、分岐先属性記
憶部２７を含んで構成される。

第７１２は属性ファイル部２２の１３ａを説明する図で
ある。属性ファイル部２２は各行番号毎に設けられ、当
該行番号に設定された属性間の関数を記憶する属性個数
記憶部２８、当該命令行の属性データが確定すれば「１
」、不定の場合は「０」で表される不定フラグを記憶す
る不定フラグ記憶部２９、第４表の属性間の属性データ
ｔｏに相当する属性値を記憶する属性値記憶部３０．第
１図示の分岐条件ファイル記憶部１６において当該行番
号の命令の分岐条件を記憶しているアドレスを記憶する
分岐条件記憶部３１、第４表の属性間における行番号デ
ータＮＯと属性データｔｏとをそれぞれ記憶する分岐先
行番号記憶部３２、分岐元属性記憶部３３、第４表の属
性間のフラグに相当する逆上りフラグを記憶する逆上り
フラグ記憶部３４、順下りフラグを記憶する順下りフラ
グ他部３５を含んで構成される。

前記順下りフラグは第４表のたとえば属性間ｌのＩｉｊ
下りフラグ欄に示すように設定される。すなわち、成行
番号の命令が直後の行番号の命令と連続した命令であれ
ば「１」、不連続な命令であれば「Ｏ」を与える。第４
表の行番号２は行番号３と連続する命令であり、前記デ
ータ「１」が与えられる。ところが行番号３は行番号４
の命令とは連続せず、したがってデータ「０」が与えら
れる。

第４図示ステップｃ７．ｃ９では、上述したような内容
を右する逆上り属性、順下り属性および分岐瓦間が設定
される。

まずステップＣ８で当該命令が分岐命令であるか否かが
判断される０分岐命令であればステップｃｌｏに移り、
当該分岐命令が第４表行番号１１ＲＥＴ命令のような割
込み処理を終了させる命令であるか否かを判断する。こ
の判断が否定で、らればステップａｌｌに移り、分岐先
行番号を求める。

これは第１図のリストファイル記憶部６を参照して求め
られる。ステップｃ１２では、分岐の数を表す分岐数デ
ータｂｉを＋１インクリメン１〜し、ステップｃ１３で
は当該分岐数データｂ　ｉと当益行番号を配列ｍ、 ｍ（ｂｉ）＝ｊ’　ｎ　　　　　　　　　　　　　・＝
＜３）で対応付ける。

ステップｃ１４では、後述するようにスタックの変化が
チエツクされる。ステップｃ１５では属性データが計算
されステップｃ１６では次の行番号を変数Ｎｎに設定し
、処理をステップｃ２に戻す。前記ステップｃ８の判断
が否定であれば処理はステップｃ１４に移る。

前記ステップＣ３の判断が肯定であれば当該命令は初め
て解析する命令行ではないことになり、ステップｃ１７
で同一属性を有する属性間が存在するか否かが判断され
る。この判断が否定であればステップＣ４に移り、属性
間が増加される。ステップＣ１，７の判断が肯定であれ
ばステップＣ１８に移り、当該分岐命令が分岐先行であ
るか否かが判断される。分岐先行であればステップｃ１
９で、第４表の分岐瓦間が設定され、ステップＣ２０に
仔る。ステップｃ１８の判断が否定であればステップＣ
２１において前記ステップｃ　９．で説明した逆上りフ
ラグおよび順下りフラグが設定される。ここでステップ
ｃ１９．ｃ２１の後、ステップｃ１７の判断が肯定とな
っているので同一属性（間がすでに存在していることに
なり、この属性に関しては解析は終了しており、再び解
析を行うことなく解析処理が終了され、ステップｃ２０
に処理を移している。

ステップｃ２０では前記分岐数データｂｉが０であるか
否かが判断される。肯定であれば処理は終了する。否定
であれば解析処理が部子していないことになり、ステッ
プｃ２０に前記ステップＣ１３で記憶した分岐命令の行
番号ｅｎを前記配列ｍ（ｂｉ）にて読出し、またステッ
プｃ２３にて分岐数データｂｉを一１デクリメントし、
処理はステップＣ２に戻る。すなわちステップｃ２２で
読出された行番号１ｎから再び解析処理を行う。

第８図は、分岐条件解析手段１３の動作を説明するフロ
ーチャートである。上記第４表に示したプログラム内容
に即して分岐条件解析処理について説明する。第８図ス
テップｄ１では行番号ｓｌｎを０に設定し、ステップｄ
２では行番号ｓｉｎを＋ｌインクリメントする。ステッ
プｄ３では当該行番号１ｎがプログラムの最杵行番号、
すなわち第４表のプログラム例では行番号１１を超えた
か否かを判断する０Ｍえていれば処理は３．□了し、超
えていなければステップｄ４に移る。ステップｄ４では
行番号１０の命令が分岐命令であるか否かを判断する。

上記プログラム例では、行番号１は分岐命令ではなく処
理はステップｂ２へ戻り、次の行番号の命令へ進む。行
番号３で分岐命令であることが判断され、ステップｄ５
へ進む。

ステップｄ５では、属性同番号を表す変数ｋをＯに設定
し、ステップｄ６では変数ｋを＋１インクリメントする
。ステップｄ７では、当該行番号１　ｒ＋の命令に関す
る属性間の個数を表す配列ＣＺ（１ｎ）に関して、 ｋ≦ＣＺ　＜１　ｎ）　　　　　　　　　　　　−（４
）の判断を行う。この判断が否定であれば、？、４図に
示した流れ＋７４３ａ解析処理の際の命令毎の属性間の
個数を超過したことになり、すなわち当該分岐＋ｉ’（
７令におけるすべての属性について分岐条件解析が終了
したことになり、処理はステップｄ２へ移り、次の行番
号の命令へ進む。

ステップｄ７の判断が肯定であればステップｄ８へ移り
、当該行番号１ｎの前記命令に才３ける属性同番号１く
に沿って後述する逆上り処理を開な白して逆上り経路を
求める。前述したように分岐命令の分岐条件を確定する
に必要な命令には、後述する関与フラグを設定する。ス
テップｄ９では、後述するように逆上って読取った命令
毎の実行内容を分岐条件として４Ｍ成する。ステップｄ
ｌｏでは、このようにして得られた分岐条件を第１図示
の分岐条１′Ｆファイル記憶部１６に記憶する。

第９図は、第８図のステップｄ８の逆上り処理の詳細を
説明するフローチャー１・である。第９図ステップｅ１
では、後述する制（卸変数Ｓ　Ｗが０に初期化される。

ステップｅ２では、上記制御変数ＳＷがＯであるか否か
を判断し、肯定であればステップｅ３に移り、第４表の
属性間に示される逆上りフラグをチエツクして、逆上り
フラグが０のとき制御変数５Ｗ＝２とし、逆上りフラグ
が０以内のときＳ、Ｗ＝１と設定する。この後、処理は
ステップｅ２に戻る。

第１０図は、前記ステップｅ３の逆上り判断処理の詳細
を説明するフローチャー１・である。第１Ｏ図ステップ
ｆｌでは、第４表行番号３の属性閤１の属性データｔｏ
で示される属性間番号を読出す。上記例ではｔｏ＝ｒｌ
、１であり、属性ＩＩＩ　１が読出される。ステップｒ
２では、属（１ｆｍｔの逆上りフラグの値を前記属性デ
ータｔｏの値に設定する。ステップｆ３では、属性デー
タｔｏが０であるか否かを判断する。○であれば前行の
命令とは実行Ｊ’ｌｌ’ｔに関する連続性が失われてい
ることになり、ステップｆ４で前記制御変数Ｓ　Ｗ　＝
　２に設定して処理は冷も了する。

前記ステップｆ３で判断が否定であれば、前行の命令と
は処理が連続していることになり、ステップｆ５にて制
御変数５Ｗ−１に設定する。ステップｆ６では、行番号
を表す変数１０を一１デクリメントして処理を終了する
。第４表のプログラムと例の行番号３では属性データｔ
ｏ−ｒｌ」であり、この場合、制御変数５Ｗ＝１となる
。

再び第９図を参照して、前記ステップｃ２の判断が否定
であればステップｅ４へ移り、制御変数ＳＷ＝　１であ
るか否かを判断する。肯定であればステップｅ５へ移り
、上記分岐命令の分岐条件を確定するに必要な情報が全
て得られているとき、対応する逆上りフラグをクリアし
、新たに必要な情報を対応するフラグをセットする。全
てのフラグがクリアされたとき、制御変数Ｓ　Ｗ　＝　
４と設定され、これ以外のときには制御変数Ｓ〜ｖ　＝
　ｏ　ｉ、：設定される。この後、処理はステップｅ２
に戻る。

第１１図は、前記ステップｅ５の逆上り情報設定処理の
詳細を説明するフローチャートである。

第１１図ステップｇ１では、被解析プログラムを１行ず
つ逆上る毎に＋１インクリメントされる逆上り行カウン
タｒｃを＋１インクリメントする。

ステップｇ２では、逆上り用カウンタｃｎを変数とし、
行番号Ｉｎ、属性データｔｏ、分岐量番号ｎｄおよび分
岐命令またはストア命令の分岐条件、またはス）・ア条
件を確定するに必要な命令の行番号ｒｎＯを一時的に記
憶するワークメモリｍに、先ず逆上った行番号βｎを記
憶する。

ステップｇ３では同じくワークメモリｍに逆上った命令
の属性データｔｏを記憶する。ステップｇ４では５、逆
上った行番号に対応する第６図示の分岐元ファイル部２
Ｉの分岐六個２１において、当該命令の属性データｔｏ
と同一属性へ分岐している分岐元命令の関数を計数し、
記憶する。また。

前記ワークメモリｍに記憶された分岐元命令毎に分岐元
同番号ｎｔをワークメモリｍに記憶する。

ステップｇ５では、前記ステップｇ２〜ｇ４で得られた
各種データが必要であるが否がを判断する。第４表の行
番号３のＣＡＬＬ命令は、無条件分岐命令であり、した
がって行番号２の上記各種データは不必要であり、判断
は否定となる。一方、第４表行番号３が前記第１表行番
号５の［ｌＢＣ命令のように条件付き分岐命令であって
、行番号２がその分岐条件に関与するならばステップｇ
７へ移り、そのような命令毎に与えられる番号を前記ワ
ークメモリに記憶する。ステップｇ８では、前記ワーク
メモリ以外の情報フラグをクリアし、ステップｇ９に移
る。

ステップｇ９では、新たな・２要情報が４ｐ）るが否か
が判断され、あればステップｇｌｏで新たな情報フラグ
を設定し、ステップｇｌｌに移る。前記ステップｇ５の
判断が否定の場合、前記ワークメモリｍ（ｒｃｒｎ○）
にはデータ「の」が設定され、ステップｇｌｌに移る。

ステップｇ９のｆ’！　断が否定の場合も同様である。

ステップｇｌｌでは、分岐条件やス）・ア命令の内容を
確定するためにさらに新たな＋ｉｉ報が必要が否かを表
す必要情報フラグが「Ｏ」であるが否かを判断する。す
なわち、必要情報フラグがｒｌ。

のとき、逆上り解析処理が出発した前記分岐命令やスト
ア命令の実行内容が確定したことになり、処理はステッ
プｇ１２へ移り、前記ホＩＪ　ＤＵ変変数６一＝４」と
する。これはｔｈ述するように、前３己ワークメモリｍ
に記憶されたデータを第１図の分岐条件ファイル記憶部
１６に書込む処理を行うためである。また、前記ステッ
プｇｌｌの判断が否定であれば、処理はステップｇ１３
にびり、制御変数５Ｗ＝ｒＯＪに設定される。これは後
述するように、処理が第１図ステップｅ２へ戻ったとき
ステップｅ３へ移って逆上り処理を続行するためである
。

このようにして第１図ステップｅ５が実行され、処理は
ステップｅ２に戻る。前記ステップｅ４の判断が否定で
あればステップｅ６へ移り、制御変数ｓｗ＝ｒ２．であ
るか否かが判断される。この場合は、ステップｅ３で説
明したように、逆上りフラグ−「ｏＪであって、行番号
が直前の命令とは処理の順序が連続していない命令であ
る場合を示している。このような場合には、逆上り解析
処理を分岐させる必要があるため、ステップｅ７に移る
。ステップｅ７では、後述するように逆上り解析処理の
分岐先の行番号を求め、ル制御変数ＳＷ＝「１」として
処理をステップｅ２に戻す。

第１２図は、第９図ステップｅ７の逆上り分岐処理の詳
細を示すフローチャートである。第１２図ステップ１〕
１では、第１１図ステップｇ４で分岐瓦間番号が記憶さ
れたワークメモリｍ　（ｒｃｎｄ（ｃｎ）］から分岐元
欄番号を読出し、第４表に示されるような分岐元箱１な
どにおいて、対応する分岐元行番号データＮＯや、分岐
元の属性データすなわち分岐元属性データｆｒを求め、
行番号１ｎに前記分岐元行番号データＮＯを設定し、ス
テップｈ２では属性データｔｏに分岐元属性データを設
定する。

ステップｈ３では、第１１図ステップｇ４で設定された
分岐個数データｍ［ｒｃ］、ｃｎを一１デクリメントす
る。この後、ステップｈ４で前記制御変数５Ｗ＝ｒｌ」
とし、処理は終了する。

このように第９図ステップｅ７の処理が終了してステッ
プｅ２に戻る。ステップｅ６の判断が否定であればステ
ップｅ８に移り、制御変数ＳＷ−「３」であるか否かを
ＰＩ断する。この判断が肯定であればステップｅ９に移
り、逆上り解析を保留している解析経路の開始行番号を
求め、制御変数５Ｗ＝ｒ２Ｊとして処理をステップｅ２
へ戻す。

第１３図は第１図ステップｅ９の未解析データ処理の詳
細を示すフローチャートである。第１３図ステラプル１
では、逆上り経路カウンタｒｃが「Ｏ」であるか否かを
判断する。すなわち５未解析の逆上り解析経路が残って
いるかどうかを判断する。このような未解析逆上りルー
トが存在しなければステップｐ２に移り、制御変数５Ｗ
＝ｒ５」として処理を終了する。ステップｐ１の判断が
否定であればステップｐ３に移り、逆上り経路カウンタ
ｒｃを一１デクリメントし、ステップｐ４にて第１１１
２１ステツプｇ４で説明した分岐個数ワークデータｍ（
ｒｃ）、ｃｎが０であるか否かを判断する。０であれば
処理はステップｐ１に戻り、他の未解析経路に関して同
様な処理を行う。

ステップｐ４の判断が否定であればステップｐ５に移り
、制御変数５Ｗ＝ｒ２Ｊに設定して処理を終了する。

再び第９図を参照して、このようにしてステップｅ９の
未解析ルート解析処理が読了して処理はステップｅ２に
戻る。ステップｅ８の判断が否定であればステップｅｌ
ｏに移り、制御変数Ｓ　Ｗ−「４」であるか否かを判断
する。肯定であれば、逆上り解析処理は想定さＪ″Ｌる
全ての逆上り解析経路に関して終了していることになり
、ステップｅ１１にて得られた解析経路、すなわち逆上
り解析経路を構成する各命令の行番号データを第１図の
分岐条件ファイル１６に書込む、未解析経路が残ってい
る場合には、ｆｆ、ＩＩ御変数５Ｗ＝ｒ３」と設定され
る。

第１４図は、第９図ステップｅｌｌの処理を詳述するフ
ローチャートである。第１１図ステップｑ１で前記逆上
り経路カウンタｒｃがＯであるが否かが判断される。０
であれば、前逆上り経路に且って解析が終了したことに
なり、前述した経路データの記憶処理を行い、処理は終
了する。ステップｑ１の判断が否定であれば、ステップ
（１３に移り、制御変数５Ｗ＝ｒ３Ｊに設定して処理を
終了する。

再び第９図を参照して、このようにしてステップｅｌｌ
でデータの書込み処理が序！了して処理はステップｅ２
に戻る。ステップｅｌｏの判断が否定の場合、第１３図
ステラプル２で説明したように、全解析経路に亘って解
析が終了していることになり、第８図ステップｄ８で説
明したプログラムを逆上る経路を求める処理が終了する
。

第１図ステップｄ９では、ステップｄ８で得られた逆上
り解析経路毎に分岐条件を合成する処理を行う、上記第
２表〜第３表における分岐命令は、無条件分岐命令であ
り、第１表のプログラム例に関して説明する。このプロ
グラム例の分岐命令は、行番号５のＢＣＣ命令であり、
前述した逆上る経路を求める処理に従えば行番号５から
出発する逆上り解析経路として行番号５−４→３→２−
１が得られる。

すなわち、行番号５の分岐命令の分岐条件は行番号４で
得られる、 Ａ−＃８≧０　　　　　　　　　　　　・・・（５）で
あり、変数Ａが未確定である０行番号３で変数Ａについ
て、 Ａ１−（Ａ−Ｂ）　　　　　　　　　　　　　・・（６
）の演算が行われ、未確定変数はＡ、Ｂとなる０行番号
２〜ｌの命令にて Ａ−＃３　　　　　　　　　　　　　　・・（７）Ｂ−
＃５　　　　　　　　　　　　　　・・・（８）が得ら
れ、変数Ａ、Ｂは確定する。したがって、これらを合成
すると、分岐条件として ３＊５−８　≧８　　　　　　　　　　　　　　　　　
・・・（９）が得られる。

第８図のステップｄｌｏでは、このようにしてステップ
ｄ９で得られた分岐条件を第１図分岐条件ファイル記憶
部１６に記憶する。このようにして、被解析プログラム
を分岐命令から逆上り、分岐条件を求める処理は終了す
る。

また、第４表のプログラム例において、実行内容を求め
る処理は、第８図ステップｄ８で得られた逆上り解析経
路を、たとえば行番号１０のＳＴ命令から開始すること
によって得られる。得られた第１の解析経路は、前述し
たように 行番号１０→３→２→１ である、この経路に沿って前記分岐条件を合成した手法
と同様な技術により、実行内容を合成すると、 ［ＰＯＲＴ１＋Ｏコ　＋　１　→　［ＰＯＲＴ１＋Ｏ］
　　　　・・・（１０）［ＰＯＲＴ１］は、アドレスＰ
ＯＲＴに格納されたデータを示す。

が得られる。すなわちアドレスＰＯＲＴＩにプリセット
データＯを加えたアドレスの内容にデータ１を加えたも
のを同一アドレスに再び格納する処理、すなわちアドレ
スＰＯＲＴＩのデータを＋１インクリメントする処理を
示している。

池の解析経路は、 行番号１０−９→８→６→５→４ となる、この経路に沿って実行内容を合成すると、［Ｐ
ＯＲＴ２十〇］　　＋　１　＋　１　→　［、ＰＯｎＴ
２＋Ｏ］・・・〈１１） となり、アドレスＰＯｒ（Ｔ２のデータを２ずつインク
リメントする処理であることが判る。このような実行内
容のデータは、第１図の実行内容ファ・ｆル記憶部１７
に記憶される。

以上のようにして本実施例に従えば、上記第２表〜第４
表や第５図〜第７図に示した分岐元（間の各データや属
性間を構成する各データを、逆上り解析処理に先立って
設定するようにしたので、逆上り解析時においてプログ
ラムの実行順序に矛盾する不所望な逆上り解析経路が選
択されて、無駄な処理が行われる事態を防ぐことができ
る。

また本実施例では、前記第２表に示したプログラム例の
行番号９〜１１のサブルーチンプログラムＡのように、
行番号３のＣＡＬＬ命令で呼出されるとともに１行番号
６のＣＡＬＬ命令で呼出されたサブルーチンプログラム
Ｂが呼出されることにより再び実行されるような命令列
において、複数の分岐命令毎に解析経路を識別する属性
データを設定するようにしている。

したがって、このようなサブルーチンプログラムの中か
ら逆上り解析処理を行うに際して、ＣＡＬＬ命令などの
呼出し箇所に応じた解析経路を設定することができ、誤
った解析経路が設定される事態を防ぐことができる。

以下、第４表の属性間におけるＩＩＩＩ下がりフラグに
ついて説明する。

第１５図はこの願下がりフラグを用いる理由を説明する
プログラム例を示すフローチャートであり、第１６図は
第１５図示のプログラム実行時に用いられるスタック３
６の記憶内容を説明する図である。メインルーチンプロ
グラムの実行時にサブルーチンプログラムが呼出される
と、第１６図（１〉に示すようにスタック３６に（ｉ戻
りアドレスが格納されてスタックポインタは＋ｌインク
リメントされ、処理はたとえば第１５図示のサブルーチ
ンプログラムに移る。

第１５［２１のサブルーチンプログラムにおいて、ステ
ップｒ１でスタック３６に新たなアドレスデータを書込
むブツシュ命令Ｐ　Ｓ　Ｌ（が実行されると、スタック
３６には第１６１１２１（２）［２Ｉ示のようにアドレ
スデータが書込まれ、スタック操作命令は十■インクリ
メントされる。こ）を以降、処理がステップｒ２．ｒ３
　　ｒ４．ｒ５と血行した場合、スタック３６から最新
に書込まれたアドレスデータを読出してスタックポイン
タを一１デクリメンＩ・するプル命令ＰＵＬＬによりス
タック３６では、第１６図（３）に示すように前記アド
レスデータが消去され、戻りアドレスのみが残る状態と
なる。

第１５図示のようなサブルーチンプログラムにおいて、
前記スタック操作命令Ｐ　Ｓ　Ｈとスタック操作命令Ｐ
ＵＬＬとが単一のサブルーチンプログラム内で１個ずつ
組となっているか否かを検査しようとする場合を思定す
る。このとき逆上り処理では、下記の３種類の経路が存
在する。

行番号Ｒ７，Ｆ１６　　　　　　　　　　　　　　　　
　　・・（１２）行番号Ｒ７，Ｒ６，Ｒ２，Ｒ１・・　
（１３）行番号Ｒ７，Ｒ５，Ｒ４□Ｒ３，Ｒ２，Ｒ１・
１．（１４）である、したがって、前記検査を行う場合
、第１２式の経路についても検査することになり、スタ
ック操作命令に全く関係を有さない無駄な検査を行って
しまうことになる。したがって、前記のような検査を行
う場合、プログラムの実行）事に命令を読取って検査を
行う手法が無駄な処理を′＋’ｆｆ　＜点で有利である
。

このため本実施例では、第４表の属性間における願下が
りフラグを設定するようにした。この願下がりフラグは
、前述したように、ある命令が次の行番号の命令と実行
順序に関して連続した命令であるか否かを識別するフラ
グである。この願下がりフラグを前述の実施例において
説明した逆上りフラグと同様な手法にて用いることによ
り、肢解析プログラムを願下がりの経路にて読取って解
析を行うことができる。これにより無駄な処理は省かれ
、処理の高速化と高効率化とを図ることができる。

前述の第４表のプログラム例において、サブルーチンプ
ログラムＡに対し、ｆ！数のＣＡＬＬ命令が配置される
場合、同表の分岐斤量および属性間は、ＣＡＬＬ命令の
数だけ設定されることになる。

このようなサブル−チンプログラムがその中でスタック
の内容を変化させないならば、異なるＣＡＬＬ命令によ
って呼出された場合でも実行内容は同一であり、このよ
うな場合には後述するように分岐斤量および属性間に割
りあてられるメモリの容量を削減することができる。

このような本実施例の動作例を、下記第５衣のプログラ
ム例に沿って説明する。

（以下余白〉 上記の第５表の分岐元間および属性間のデータは、上記
第４表を参照して説明したデータの設定方法に基づいて
設定されている。ここで前述したように、分岐元間およ
び属性間に割りあてられるメモリの容量を削減するため
に、第５表のプログラム例に基づいて下記第６表のよう
な分岐元間および属性間を作成する。

第　　６　　表 上記第５表と第６表とでは、 下線を付したデー タが変更されている。すなわち、行番号３のＣＡＬＬ命
令とこれより分岐した行番号８〜１０の命令列、および
リターン命令ＲＥＴによりさらに分岐した行番号４に関
する分岐元間や属性間の決定に関しては、上記第５表と
同様に設定される。引続き行番号６を読取ったとき、行
番号８に分岐する。

第４表の例では新たな分岐元間２および属性間２が設定
されるが、本実施例は同一のサブルーチンプログラムを
解析するため、このような分岐元間および属性間の増加
を行わず、分岐元間１の行番号８において、行番号デー
タＮ０−ｒＯＪと設定し、また行番号４の属性データｆ
　ｒ−ｒ　Ｑ　Ｊと設定する。さらに、行番号８の属性
間ｔｏ−ｒＯ」と設定する。このようなデータ「０」を
用いて。

行番号６のＣＡＬＬ命令に基づく行番号８〜１０のサブ
ルーチンプログラムの解析を終了したことを表示する。

このとき、属性間も同様に、行番号ｌ→２→３→８→９
−１０→４→５までの解析が終了した段階では、第５表
の属性間１のようなデータが設定されるが、行番号６以
降の前述のような処理によって属性間２を増設せず、第
６表の属性ＷＩｌのようなデータが設定される。

逆上り処理にあたって、行番号８の分岐元間１の行番号
データＮｏが参照されるとこれは「０」であるため、分
岐元行番号が不明となる。したがって、前述した分岐元
間および属性間を作成する処理において、行番号８に分
岐する分岐元命令の行番号の次の行番号、すなわち第５
表の例では行番号５，７をファーストインラストアウト
（ＦｒＬ○）形のメモリに記憶する。したがって、逆上
り解析時において、分岐元間で行番号データ「０」のデ
ータが参照された場きには、前記行番号を記憶したＦ　
Ｉ　ＬＯ形メモリからデータを読出して逆上り処理にお
ける分岐先行番号とする。

このようにすることによって、流れ制御ファイル記憶部
１２において、分岐元間および属性間に７１１当てられ
るメモリの容量を削減することができる。

前記第４表のプログラム例における実行内容は、行番号
３．５．１１などの分岐命令やスタックの内容を操作す
る命令などによって変化するスタックの記憶内容に大き
く作用されることが知られている。このようなスタック
の内容を予め属性間のデータとしてまとめておくと、プ
ログラムの解析上便利である。とりわけ前記第４表の行
番号５のＰＳＨ命令や、これと対を成すＰＵＬＬ命令な
どのようにスタックの内容を変化させる命令が含まれる
場合には、プログラムの実行状態の変化が明瞭になり、
プログラム解析経路の特定が容易になる。

上記第４表と同一のプログラム嗣において、当該プログ
ラムの各命令毎に下記第７表のようなアドレスが設定さ
れる場合を想定して説明する。

（以下余白） 本実施例では、分岐元請および属（ｉ：欄のデータは第
４表のデータを用いるが、これに加えスタックの内容が
変化する命令がある場合には、その命令により変（ヒし
たスタックの内容をデータとするスタックデータＶＡＬ
の欄を設ける。これによれば、行番号３で行番号９へ分
岐するが、このときスタックにはデータ＃ＦＯＯ７が格
納される。したがって、行番号９〜１１のＶ　Ａ　Ｌ　
ｆｌｉには、当該アドレス＃ＦＯＯ７の上位バイトおよ
び下位バイトを転換したデータＶＡＬ−ｒ０７ＦＯＪが
それぞれ設定される。

行番号１１から行番号４へ処理が戻り、次に行番号５に
おいてスタックの記憶内容が行番号１のアドレス＃ＦＯ
ＯＯに変更される。したがって、これ以降の行番号４〜
８の属性間１においては、スタックデータＶＡＬ＝　ｒ
ｏＯＦＯ」が設定される１行番号８にて、新たな属性間
２が設定され、引続きスタックデータＶＡＬ＝　ｒｏＯ
ＦＯＪが設定される。

以上のようにして本実施例によれば、属性間にスタック
のデータを設定するようにしたので、たとえばサブルー
チン命令のメインルーチンへの復帰命令ＲＥＴから逆上
り処理を行う場合、前記メインルーチンへの復（１先は
、スタックデータＶＡＬを参照すれば判明し、各命令を
逆上って順次的に解析して検知する必要が解消される。

これにより処理の高速化が図られる。また、前記スタッ
クデータＶＡＬを用いれば、各命令毎に設定される属性
の種類および処理経路等の属性の識別が格段に容易とな
る。

第８図ステップｄ９において、分岐条件を合成して第１
図に示すフローチャート作成手段１つや実行内容解析結
果出力手段２０などから、当該得られた結果を論理式の
結合した形式としてフローチャートやＰＡＤ図の形式で
出力したり、または実行内容を印字出力したりする場合
、被解析プログラムが長くなるほどその出力量が膨大と
なる。

したがって、これらの論理式で記述される出力をプール
代数を用いて簡易な形に整理する技術が必要となる。

第１４図は、このような実施例を説明するフローチャー
トである。フローチャート作成子１１１９や実行内容解
析結果出力手段２０からの出力がたとえば下式、 ・・・（１５） のような論理記号の結合した論理式として与えられてい
る場合、これを簡約化するには以下の処理を行う、この
簡約化処理の基本方針は下記の第１６式と第１７式とで
ある。

Ａ＋Ａ＝Ｕ　　　　　　　　　　　　　・・・（１６）
Ａ＋Ａ−ｇ＝Ａ＋ｇ　　　　　　　　　　・・・（１７
）Ｕ；全体集合 ＡＬＵの部分集合 ＡＨＡの補集合 ｇ；単項 ・；論理積演算 ＋；論理和演算 第１５図は、上記第１６式と第１７式の内容を説明する
ペン図である。上記第１６式は、全（、ｋ　’１合Ｕに
おいて、部分集合Ａとその補集合Ａとの和集合が常に全
体集合となる意味である。また、上記第１７式は部分集
合Ａと単項ｇとが互いに素であるならば、補集合Ａと単
項ｇとの頂集合と集合Ａとは集合Ａと単項ｇとの和集合
になる意味である。

このような上記第■６式および第１７式の基本方式に基
づいて、上記第１５式を簡約化する手１１ｉについて第
１７図のフローチャートを９＠して説明する。第１７図
ステップＳ１において、各項を分解する。これにより上
記第１式は下記第１８式に変化される。

Ｆ　＝　Ｃ−Ａ　＋　Ｃ−Ａ−Ｂ　＋Ｃ−Ａ　＋　Ｃ−
Ａ−Ｂ　＋　Ａ−Ｂ・・・（１８） 次にステップＳ２にて共通項があるか否かが判断される
。先ず第１８式の第１項および第２項について、共通項
Ｃがあることが判断され、ステップｓ３で０でくくられ
、下記第１９式が得られる。

Ｃ・（Ａ＋Ａ−Ｂ）　　　　　　　　　　　　・・・（
１９）次にステップｓ４では、前記第１６式および第１
７式に基づく合成パターンがあるか否かが判断される。

第１９式のく〉内では、第１７式に基づく合成が可能で
あり１判断が肯定となり、ステップｓ５に移り、下記第
２０式のように合成される。

前記ステップＳ４で合成パターンがないことが判断され
るね、ステップＳ６に移り、池に０でくくれる同−項が
あるか否かが判断され、なければステップｓ３に移る。

下記第２０式の例では、（〉内でこれ以上の合成パター
ンがなく、処理はステップＳ１に戻され、０が分解され
、下記第２１式が得られる。

Ｃ・（Ａ＋Ｂ）　　　　　　　　　　　　　　・・・（
２０）Ｃ−Ａ　＋　ＣＢ　　　　　　　　　　　　　　
・・・（２１）次に第２１式第１項と第１８式第３項と
に関して、前記ステップｓ２．ステップｓ３の処理が適
用され、下記第２２式が得られる。

Ｃ−Ａ＋Ｃ−Ａ＝Ａ・（Ｃ＋Ｃ）　　　　　　・・・（
２２）次のステップｓ４．ｓ５にて上記第１６式の基本
方針が適用され、下記第２３式が得られる。

Ａ・　（Ｃ＋Ｃ）＝　Ａ　　　　　　　　　　　　　　
　　　・・・（２３）次に第２１式第２項と第１８式第
４項とに関して、同様な処理が行われ、下記第２４式の
結果が得られる。

Ｃ，Ｂ　＋Ｃ，Ａ−Ｂ　＝　Ｂ・（Ｃ＋Ｃ−Ａ＞＝　Ｂ
Ｃ＋Ｉ３Ａ・・・（２４） 次に第２１式第１辺の第２項と、第１８式第５項との間
で同様な処理が行われ、下記第２５式が得られる。

Ｂ−ＡＦ−Ａ・Ｂ＝Ａ・（Ｂ＋Ｂ）＝Ａ　　　　　・・
・（２５）したがって第２３式、第２１式第１辺第１項
および第２５式より下記第２６式がｆｎｒられる。

Ａ　＋　Ｂ−Ｃ→−Ａ　＝　Ｂ−Ｃ＋　Ｕ　＝　Ｕ　　
　　・・・（２６）このようにして上記第１６式および
第１７式に示す基本方針の元で、第１７図に示す処理手
順に基づいて上記第１５式に示す論理式が全体集合Ｕに
簡約化されることが確認された。このようにして第８Ｉ
２Ｉステツプｄ９で分岐条件を合成する処理を行うにあ
たって、前述したようにプール代数を用いて論理式を論
理演算にて簡略化して表現する。

これによりフローチャート作成手段１９でフローチャー
トを作成して出力したり、または実行内容解析結果出力
手段２０にて実行内容を論理式にて印字出力する場合に
あたって、実行内容をより内容の把握が容易な形式にて
表現することができ、本件プログラム内容解析装置をプ
ログラムのデバッグなどに用いる場合にきわめて効率的
である。

発明の効果 以上のように本発明に従えば、単一個の分岐命令に関し
て、分岐データ作成手段にてサブルーチンの経路データ
および位置データを作成した後は、残余の複数の分岐命
令に関しては具体的な解析処理を省略する旨のデータを
当該サブルーチンの先頭行の位置データに代えて記憶す
る。またこの解析省略データが付された命令の位置デー
タは別途記憶される。逆上り解析時にこの解析省略デー
タを検出すると、全体別途記憶された位置データを読出
して逆上り処理を続行する。これにより同一のデータを
重複してメモリに割当てる事態が防がれる。

【図面の簡単な説明】

第１図は解析装置１の構成を示すブロック図、第２図は
解析設備処理手段５の動作を説明するフローチャート、
第３図は被解析プログラム例の動作の流れを示すフロー
チャート、第４図は流れ構造解析手段１１の動作を説明
するフローチャート、第５図は流れ制御ファイル記憶部
１２の構成を示す図、第６図は分岐元ファイル記↑Δ部
２１の構成を示す図、第７図は属性ファイル記を色部２
２の組成を示ず図、第８図は分岐条件解析千Ｆ１１３の
動作を説明するフローチャート、第９１２１は本実施ρ
りの逆上りフラグを説明するフローチャート、第１０図
逆上り処理における逆上り判断を説明するフローチャー
１・、第１１図は逆上り処理におけるデータ設定処理を
説明するフローチャート、第１２図は逆上り処理の逆上
り分岐処理を説明するフローチャート、第１３図は逆上
り処理の未解析ルート処理の動作を説明するフローチャ
ート、第１４図はデータ書込み処理を説明するフローチ
ャート、第１５図は被解析プログラム例の動作の流れを
説明するフローチャート、第１６図はスタックの状態を
説明する図、第１７図は論理式のプール代数を用いる簡
約化処理を説明するフローチャート、第１８図は本実施
例を説明するベン図、第１９図はプログラム例の流れを
示すフローチャートである。

Claims (1)

1. 【特許請求の範囲】 複数の命令から成るプログラムの実行順序を命令の配列
   順序と異ならせる分岐命令を複数含む第１プログラム部
   分と、第１プログラム部分の複数の分岐命令により実行
   順序が分岐して実行される第２プログラム部分とを含む
   プログラムの各命令を、実行順とは逆に逆上つて読取り
   、その内容を解析する装置において、 各命令毎に、分岐命令に対応するプログラムの複数の実
   行経路を識別する経路データと、分岐命令により規定さ
   れる分岐先命令または分岐命令のいずれかである命令毎
   に、対応する分岐命令または対応する分岐先命令のいず
   れかの位置データとを含む分岐データを作成するととも
   に、前記第１プログラム部分の各分岐命令に対応して第
   ２プログラム部分の経路データおよび位置データを作成
   する際に、第２プログラム部分に実行順序が分岐する複
   数個目の分岐命令の場合には、第２プログラム部分に亘
   る経路データおよび位置データの作成処理に代えて、第
   ２プログラム部分の先頭命令に対応して前記経路データ
   とともに、位置データと対応する解析省略識別データと
   位置データとを作成し、当該第２プログラム部分に関連
   する分岐元命令および分岐先命令に関連して位置データ
   に対応する前記解析省略識別データと経路データとを作
   成する分岐データ作成手段と、 経路データを記憶する経路データ記憶手段と、位置デー
   タまたは解析省略識別データのいずれかを記憶する位置
   データ記憶手段と、 解析省略識別データに対応する命令の位置データを記憶
   する解析省略位置データ記憶手段と、プログラムを逆上
   つて各命令を読取る逆上り読取手段であつて、逆上り時
   には各命令の経路データと位置データとを、経路データ
   記憶手段と位置データ記憶手段とから読出し、連続する
   同一経路データに対応し、かつ位置データで規定される
   分岐経路に従つてプログラムを逆上つて読取るとともに
   、位置データが前記解析省略データである場合に解析省
   略位置データ記憶手段から対応する位置データを読出し
   て逆上つて命令を読取る、そのような逆上り読取り手段
   とを含むことを特徴とするプログラム内容解析装置。