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

Abstract

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

Description

【発明の詳細な説明】 概要 アセンブラ言語で記述されたプログラムの処理の流れを
、その仕様と比較して検査する場合、従来では人手によ
って膨大な労力により行っており、また過誤の発生を防
止することが困難であっｆＳ。

これに対し、戒解析プログラムの基本的動作と構造とは
ストア命令およびロード命令による入力／出力状態と、
分岐命令による実行順序の分岐状態とによって決定づけ
られることに着目した。したがって被解析プログラムの
各命令毎に分岐命令に対応する複数の実行経路を識別す
る識別データを設定する。

プログラム内容の解析は、分岐命令またはストア命令な
どからプログラムを逆上って命令を読取トＬ、分岐条件
および実行内容を論理式の結合した形式にて得るように
する。このとき分岐命令にてスタックの内容が交動する
ので、分岐命令毎に５二な分岐命令に対応する分岐先命
令列に対応付けて、前記スタックの最新のアドレスデー
タを記憶する。

これにより前記逆上って解析を行うにあたって、別途記
憶されているスタックのデータを参照することにより、
分岐元の命令のアドレスデータや実行経路の識別が格段
に容易となる。

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

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

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

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

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

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

課題を解決するための手段 本発明は、複数の命令がら成るプログラムの各命令を配
列順とは逆に逆上って読取り、その内容を解析する装置
において、 各命令毎に、分岐実行順序を配列順と異ならせる分岐命
令に対応するプログラムの複数の実行経路を識別する経
路データと、分岐命令により規定される分岐先命令また
は分岐命令のいずれかである命令毎に、対応する分岐命
令または対応する分岐先命令のいずれかの位置データと
を含む分岐データを作成する分岐データ作成手段と、経
路データを記憶する経路データ記憶手段と、位置データ
を記憶する位置データ記憶手段と、分岐命令時の戻りア
ドレスデータが先入れ後出し方式にて格納されるスタッ
クの最新のアドレスデータを、該最新のアドレスデータ
が格納される命令以後、該最新のアドレスデータを読出
す命令に亘る命令毎に記憶するスタックデータ記憶手段
と、 １０グラムを逆上って各命令を読取る逆上り読取手段で
あって、逆上り時には各命令の経路データと位置データ
とスタックデータとを、経路データ記憶手段と位置デー
タ記憶手段とスタックデータ記憶手段とから続出し、連
続する同一経路データに対応し、かつ位置データで規定
される分岐経路に従ってプログラムを逆上って読取る、
そのような逆上り読取手段とを含むことを特徴とするプ
ログラム内容解析装置である。

作用 本発明に従えば、被解析プログラムの各命令毎に分岐命
令に対応する複数の実行経路を識別する経路データを分
岐データ作成手段にて作成する。

プログラム内容の解析は、分岐命令またはストア命令な
どからプログラムを逆上り読取手段で逆上って読取り、
分岐条件および実行内容を論理式の結きした形式にて得
るようにする。このとき分岐命令にてスタックの内容が
変動するので１分岐データ作成手段は、分岐命令毎に当
該分岐命令に対応する分岐先命令に対応付けて、前記ス
タックの最新力アドレスデータを記憶する。これにより
逆上り読取手段が前記逆上って解析を行うにあたってス
タックデータ記憶手段と別途記憶されているスタックの
データを参照することにより、分岐元の命令のアドレス
データや実行経路の識別が格段に容易となる。これによ
り被解析プログラムの解析処理速度を向上することがで
き、過誤の発生を防止することができる。

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

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

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

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

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

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

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

（１）逆上り概念 プログラムの実行内容を解析するためにプログラムをそ
の実行順に従って命令を読取って解析し上うヒする場合
、ｆ！ｒ種フラフラグのコンデイションコードの変ｆヒ
、複数の命令の間の相関関係など、５該ｌｉ？ｒ１↑に
関連して想定されるすべてのデータを＜（ｉｔしておく
必要がある。このようなデータの中には命令の種類によ
っては不必要なデータがある場合で、らっても、以後の
解析処理で、どのデータが必要になるか判断できず、こ
のためすべてのデータを収集する必要がある。

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

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

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

（以下余白） 第 １ 表 上記プログラム例で、実行順序は行番号１−１２−３−
４→５→６または行番号１−２→３→４→５−７である
。分岐命令はｒＢＣＣ，であり、その条件は行番号４の
（Ａ−＃８）が０以上か負であるかで決定される。その
ためにはアキュムレータＡの値が確定する必要がある。

そのためには行番号３にてアキュムレータＡ、Ｂの双方
の値が確定する必要があり、行番号２．１を読取って初
めてその値が確定する。

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

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

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

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

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

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

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

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

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

このため流れフラグ「Ｏ」が付される。同様にして行番
号５．６には流れフラグ「１」が付され、行番号７には
流れフラグ「０」が付される。

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

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

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

一方、プログラム中にサブルーチンプログラムが罰まれ
ている場合、処理が分岐するが、このときスタックが用
いられる。スタックは周知のように、先入れ後出しくフ
ァーストインラストアウトＦＩＬＯ方式）のメモリであ
り、サブルーチンを呼出すときサブルーチンから処理が
戻るノ＼きメインルーチンの次のアドレスが格納される
。サブルーチンの処理が終了後、リターン命令ＲＥＴに
よりスタックに格納されているデータがプログラムカラ
シタに転送され、当該アドレスからプログラムが実行さ
れる。したがってスタックの記憶内容を変更する命令が
８−まれでいれば、サブルーチンプログラムからの復帰
先を変更することができる。

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

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

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

行番号５のＰＳＨ命令により、前述したスタックの最新
のアドレスデータがＸレジスタの内容に書換えられる。

この時点で属性データをＢに変更し、以下行番号１１ま
で同一の属性データＢを与える。このようにして、前述
したスタックに格納されているデータを変更する命令仝
含むプログラムに関する属性が決定される。

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

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

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

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

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

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

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

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

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

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

［ＰＯＲＴ２＋Ｏ］＋１＋１−［ＰＯＲＴ２＋Ｏ］　　
−（２）となることが理解される。

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

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

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

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

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

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

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

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

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

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

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

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

第８図は、分岐条件解析手段１３の動作を説明するフロ
ーチャートである。上記第４表に示したプログラム内容
に即して分岐条件解析処理について説明する。第８（２
１ステツプｄ１では行番号ｓＩ！ｎをＯに設定し、ステ
ップｄ２では行番号８１「１を＋１インクリメントする
。ステップ゛ｄ３では当該行番号１ｎがプログラムの最
終行番号、すなわち第４表のプログラム例では行番号１
１を超えたか否かを判断する。超えていれば処理は終了
し、超えていなければステップｄ４に移る。ステップｄ
４では行番号１ｎの命令が分岐命令であるか否かを判断
する。上記プログラム例では、行番号１は分岐命令では
なく処理はステップｂ２へ戻り、次の行番号の命令へ進
む。行番号３で分岐命令であることが判断され、ステッ
プｄ５へ進む。

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

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

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

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

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

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

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

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

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

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

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

ステップｇ９では、新たな必要情報があるか否かが判断
され、あればステップｇｌＯで新たな情報フラグを設定
し、ステップｇｌｌに移る。前記ステップｇ５の判断が
否定の場合、前記ワークメモリｍ　（ｒｃ　ｒｎｏ）に
はデータ「ｏ」が設定され、ステップｇｌｌに移る。ス
テップｇ９の判断が否定の場合も同様である６ ステップｇｌｌでは、分岐条件やストア命令の内容を確
定するためにさらに新たな情報が必要が否かを表す必要
情報フラグが「ｏ」であるが否がを判断する。すなわち
、必要情報フラグが「１」のとき、逆上り解析処理が出
発した前記分岐命令やストア命令の実行内容が確定した
ことになり、処理はステップｇ　１．２へ移り、前記制
御２Ｉｌ変数ＳＷ＝「４」とする。これは後述するよう
に、前記ワークメモリｍに記憶されたデータを第１図の
分岐条件ファイル記憶部１６に書込む処理を行うためで
ある。また、前記ステップｇｌｌの１゛す断が否定であ
れば、処理はステップｇ１３に移り、制御変数５Ｗ−ｒ
ＱＪに設定される。これは後述するように、処理が第１
図ステップｅ２へ戻ったとき、ステップｅ３へ移って逆
上り処理を続行するためである９ このようにして第１図ステップｅ５が実行され、処理は
ステップｅ２に戻る。前記ステップｅ４の判断が否定で
あればステップｅ６へ科り、制御変数５Ｗ＝ｒ２」であ
るか否かが判断される。この場合は、ステップｅ３で説
明したように、逆上りフラグ＝　ｒ□、であって、行番
号が直前の命令とは処理の順序が連続していない命令で
ある場合を示している。このような場合には、逆上り解
析処理を分岐させる必要があるため、ステップｅ７に科
る。ステップｅ７では、Ｖ＜述するように逆上り解析処
理の分岐先の行番号を求め、制御変数ＳＷ＝「ｌ」とし
て処理をステップｅ２に戻す。

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

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

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

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

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

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

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

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

第１図ステップｄ９では、ステップｄ８で得られた逆上
り解析経路毎に分岐条件を合成する処理を行う。上記第
２表〜第３表に１３ける分岐命令は、黒条（’１分岐１
１′ｉ令で、ｐ）す、第１表のプログラム例に関して説
明する。このプロゲラｌ、例の分岐命令は、行番４づ５
力Ｉ３　ＣＣ命令であり、前述した逆上る経路を求める
処理に従えば行番号５から出発する逆上り角Ｔ析経路と
して行番号５−　＝１　＝　３−２−１がマ゛）　・）
　ノし　る　。

すなわち、行番号５の分岐命令の分岐条１°トは行番４
３↓て↑Ｉ＋□、れる、 Ａ　　９８≧０　　　　　　　　　　　　・（５）て′
あり、変数Ａが未確定である。行番号３て゛変数Ａに′
）いて１ 、八−−（、・＼−Ｆ’＝）−（６） 、７′ｌ演算が行われ、石確定変数はＡ、Ｂとなる。行
番号２〜１の命令にて Ａ−＃３　　　　　　　　　　　　　　　・（７）Ｂ　
　＝　　＃５　　　　　　　　　　　　　　　　　　　
　　　　　　　　（８）ダｉ１られ、１数、八、Ｂは確
定する。したがって、これ；、を合成すると、分岐条件
として３＊５−　８　　≧　８　　　　　　　　　　　
　　　　　　　・・・（９）が得られる。

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

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

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

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

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

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

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

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

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

第１５図のサブルーチンプログラムにおいて４ステツプ
ｒ１でスタック３６に新たなアドレスデータを書込むブ
ツシュ命令Ｐ　Ｓ　ｌ（が実行されると、スタック３６
には第１６図（２）図示のようにアドレスデータが書込
まれ、スタックポインタはｔ１インクリメントされる。

これ以降、処理がステンプｒ２．ｒ３．ｒ４．ｒ５と進
行した場合、スタック３６から最新に書込まれたアドレ
スデータを：売出してスタックポインタを一１デクリメ
ントするプル命令ＰＵＬＬによりスタック３６では、第
１６　ｌ７１（３）にホずように前記アドレスデータが
消去され、戻りアドレスのみが残る状態となる。

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

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

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

前述の第４表のプロゲラｌ、例において、サブルーチン
プログラムＡに対し、複数のＣＡＬＬ、命令が配置され
る場き、同表の分岐元間および属性部（ま、ＣＡＬＬ命
令の数だけ設定されることになる。

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

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

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

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

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

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

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

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

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

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

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

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

以上のようにして本実施例によれば、属性欄にスタック
のデータを設定するよう（こしたので、たとえばサブル
ーチン命令のメインルーチンへの瀧婦命令ｎ　ＥＴから
逆上り処理を行う場合、ｎｉｔ記メインルーチンへの復
帰先は、スタックデータＶＡＬを参照すれば判明し、各
命令を逆上って順次的に解析して検知する必要が解消さ
れる。これにより処理の高速化が図られる。また、前記
スタックデータＶＡＬを用いれば、各命令毎に設定され
る属性の種Ｍわよび処理経路等の属性の識別かｊ？ＪＶ
：ｔに容易となる。

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

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

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

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

このような上記第１６式および第１７式の基本方式に基
づいて、上記第１５式を簡約化する手順に′）いて第１
７図のフローチャートを参照して説明する。第１７［Ｎ
ステップｓｌに＋３いて、各項な分解する。これにより
上記第１式は下記第１８式に変化される。

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

Ｃ（Ａ十Ａ、Ｂ）　　　　　　　　　　　　　　　　　
　・・（１９）次にステップＳ４では、前記第１６式お
よび第１７式に基づく合成パターンがあるか否かが判断
される。第１９式の０内では、第１７式に基づく合成が
可能であり、判断が肯定となり、ステップｓ５に移り、
下記第２０式のように合成される。

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

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

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

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

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

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

［Ａ　　＋　Ａ−ｎ　　＝　Ａ・（Ｔ３＋Ｅｌ）　　＝
　Ａ　　　　　　−（２５）したがって第２３式、第２
１式第２辺第１項お上び第２５式より下記第２６式が１
）られる。

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

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

発明の効果 以上のように本発明に従えば、分岐命令毎に当該分岐命
令に対応する分岐先命令列に対応１寸けて前記スタック
の最新のアドレスデータを記憶し、逆上って解析を行う
にあたって別途配位されているスタックのデータを参照
することにより、分岐元の命令のアドレスデータや実行
経路の識別が格段に容易となる。これにより被解析プロ
グラムの解析処理速度を向上することができ、過誤の発
生を防止することができる。

【図面の簡単な説明】

第１図は解析装置ｌの構成を示すブロック図、第２図は
解析４を篩処理手段５の動作を説明ｒるフローチャート
、第３図は被解析プログラム則の動作の流れを示すフロ
ーチャート、第４図は流れ構造解析手Ｅ’ＪＩＩの動作
を説明するフローチャート、第５図は流れ制御ファイル
記憶部１２の構成を示す図、第６図は分岐元ファイル記
憶部２１の構成を示す国、第７図は属性ファイル記憶部
２２の構成を示す図、第８０は分岐条件解析手段１３の
動作を説明するフローチャー１−　、第９図は本実施例
の逆上りフラグを説明するフローチャート、第１Ｏ図逆
Ｅり処理における逆上り判断を説明するフローチャート
、第１１図は逆上り処理におけるデータ完走処理を説明
するフローチャー１−　、第１２図は逆上り９５理の逆
上り分岐処理を説明するフローチャー１・、第１３図は
逆上り処理の未解析ルート処理の動作を説明するフロー
チャー１−　、第１４図はデータ書込み＋７ｆｉ理を説
明するフローチャート。 第１５図は被解析プロゲラｊ、例の動作の流れを説明す
るフローチャート、第１６［２１はスタックの状態を説
明する図、第１７１１は論理式のプール代数を用いる簡
約化処理を説明するフローチャート、第１８図は本実施
例を説明するペン図、第１９図はプログラム例の流れを
示すフローチャートである。

Claims (1)

1. 【特許請求の範囲】 複数の命令から成るプログラムの各命令を配列順とは逆
   に逆上つて読取り、その内容を解析する装置において、 各命令毎に、分岐実行順序を配列順と異ならせる分岐命
   令に対応するプログラムの複数の実行経路を識別する経
   路データと、分岐命令により規定される分岐先命令また
   は分岐命令のいずれかである命令毎に、対応する分岐命
   令または対応する分岐先命令のいずれかの位置データと
   を含む分岐データを作成する分岐データ作成手段と、 経路データを記憶する経路データ記憶手段と、位置デー
   タを記憶する位置データ記憶手段と、分岐命令時の戻り
   アドレスデータが先入れ後出し方式にて格納されるスタ
   ックの最新のアドレスデータを、該最新のアドレスデー
   タが格納される命令以後、該最新のアドレスデータを読
   出す命令に亘る命令毎に記憶するスタックデータ記憶手
   段