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

Abstract

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

Description

【発明の詳細な説明】 概　　要 アセンブラ言語で記述されたプログラムをその仕様と対
比して基本的構造や動作を解析するのは、従来では人手
により膨大な労力を用いて行っており、また過誤を避け
ることが困ルであった。本発明では、このような被解析
プロゲラｌ、の基本的動作と構造とはロード命令やスト
ア命令による入カフ′出力状態と、実行順序を配列順序
と異ならせる分岐命令による分岐状態とによって決定さ
れることに着目した。したがって、分岐命令に規定され
る実行経路を識別する経路データと　分岐命令に関連し
て分岐先命令や分岐元Ｉｆ５令の位置データなどを命令
部に設定するようにしている。

プログラムはストア命令や分（吐命令から逆上られて読
取られ、その実行内容や分岐条件なとがΩ令カニの実行
内容を表す論理式の結合された論理式として、たとえば
フローチャー１〜やＰ　Ａ　Ｄ図などの出力を得る。こ
のとき、プロゲラｌ＼が長いほど前記出力量は膨大とな
るので、前記論理式の結合された論理式に論理演算を施
し、簡キ、′）化して出力する。これにより、前記出力
がプログラムの仕様と対比が容易な簡約化された形式に
てｆｉられることになり、解析処理の効率（ヒと過誤の
発生とを防止することができる。

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

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

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

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

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

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

課題を解決するための手段 本発明は、複数の命令から成るプログラムの各命令を配
列順とは逆に逆上って読取り、その内容を解析する装置
において、 プログラムを逆上って各命令の実行内容を読取る読取り
手段と、 読取られた各命令の実行内容を、命令毎の実行内容に対
応する論理式の結合した論理式として記憶する実行内容
記憶手段と、 実行内容記憶手段に記憶された命令毎の論理式の結合さ
れた論理式に論理演算を施し、簡約化して出力する実行
内容出力手段とをきむことを特徴とするプログラム内容
解析装置て゛ある。

作用 本発明に従えば、プログラムは読取り手段により、逆上
って各命令次行内容が読取られる。読取られた各命令の
実行内容は、実行内容記憶手段に命令毎の実行内容に対
応する論理式の結合した論理式として記憶される。実行
内容出力手段では、前記実行内容記憶手段に記憶された
命令海の論理式の結合された論理式に論理渓算を施し、
簡約１ヒして出力する。これによりプログラム解析処理
が動子化され、またこのような解析処理におけろ過訊の
発生を防止することができる。

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

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

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

前記リストファイル記憶部６からの二−モニツ２形式で
のプログラムは分岐データ作成手段としての流れ構危解
析手段１１にＩｉ−えられ、被解析プロゲラ１．にお（
するり匹丁里の流れの構造、すなわち分波の右無１分ｖ
Ｌ＃ｉｆ令が想定される場合の分岐先血合の位置の変動
Ｊ３よびスタックのネスティングの程度などを解析する
ようにしている。ここではこれ以降のすべての解析処理
の基礎データとｆｆ　７＋流れ制御ファイルを作成し、
流れ制御ファイル記↑Δ部１２に記憶する。前記リスト
ファイル記憶部６．５６令ファイ／Ｌ記↑α部２０およ
び流れ１ｔｌｌ　Ｉｎファイル記１！部■２からの各デ
ータに基づいて分岐条件解析部１３、ストア内容解析部
■・１、完全分岐ｚ　ｔ’Ｆ解析都１５は後述するそれ
ぞれの解析処理を行い（’Ｆｒられた各データを経路デ
ータ記十Δ＋殴および位置データ記憶手段を含む分岐条
件ファイル記憶部１６、実行内容ファイル記憶部１７、
および完全分岐条件ファイル記憶部１８に記憶する。

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

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

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

（１）逆上り概念 プログラムの実行内容を解析するため（こプロクラムを
その実行順に促って命イアを読取って解析しようとする
場合、各種フラグなどのコンデイションコードの変化、
複数の命令の間の相関関係なと、当該命令にｒＩＡ達し
て惣定されるすべてのデータを蓄積しておく必要がある
。このようなデータの中には命令の種類によっては不必
要なデータがあるＪ１合であっても、以後の解析処理で
、どのデータが必要になるか判断できず、このためすべ
てのデータを収集する必要がある。

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

本発明は機械語やアツセンブラプロダラムで記憶された
プログラムを、分岐ｄａ　／、２およびス１〜Ｔｉｒ令
の分岐条件やストア内容を合成する二とにより、把打（
！容易な形式に論理式により記憶しようヒ５る乙のであ
る。このため前記分岐命令またはストア晶令をｌｌｉｌ
点とし、当該分岐条イ９；またはストアＬｈｊ令の内容
が確定する個所までプロゲラｌ、を逆上りつつ、必要な
情報のみを収集するらのて、らる７ここでプログラム到
として下記第↓表の〕゛ログラス、に則して説明する。

（Ｌ″）、下糸口） 第 に 上記プログラム例で、実行順序は行番す１・２−・３→
４→５→６または行番号１　ｍ　２→３−４−５−７で
ある。分岐命令はｒＢｃｃｊであり、その条件４ま行番
号４の（Ａ−＃８）が０以上かｎて゛あるかで決定され
る。そのためにはアキュムレータＡの値が確定する必要
がある。そのためには行番号３にてアキュムレータＡ、
Ｂの双方の値が確定する必要があり、行番号２，１を読
取って初めてその値が確定する。

流れｎ４造解析手段１１ては上記逆上り処理ζこ・ヒ・
要な情報、すなわち或命令とその前行と（ニブログラム
の実行順に＆ｔつた連続したｃｌＩ令あるか否かのｐＨ
Ｄのためのデ〜りや、これらの命令が不連続の場合、ど
の行番号の命令へ連続しているかに閂するデータなどの
後述する属性データをｆ１…成している。

（２）属性は、含 プログラムにはメインル−チンと、メインルーチンの所
定の個所から処理が分岐さｈろサフノＬ−チンとを含ん
で構成される。同一のサフルーーｆ−ンでら成敗箇所か
ら呼出される場合か、ろり、メインル−チンに処ｆ里を
戻すリターンＬｉ官令ｒ了［’、　Ｔ　ｆこ上る分岐先
の位置は、メインルーチンの叶出し命令に対応して変化
する。したがって１−）σ）サフｌし−チンによっても
複数の実行経路が設定されていると考えられ、処理経路
を区分する情報として寓性直念を設定する。す、下、第
２表で示されるプログラム例に沿って説明する。

（１，Ｊ、下糸口） 第 ２ 表 上記プログラム例のフローチャー１・は第３図に示され
る。

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

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

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

（ｂ）分岐先欄 上記プログラムの分岐命令は行番号３．ｔ）、７１１に
配置されてれり、これらの処理が移７−先は？Ｉｆ６５
令の内容に対応してそれぞれ行番号９．８１であり、〉
ｊ゛岐命イｉ　Ｒ，Ｅ　Ｔては対応するＣＡＬＬ命令の
直後の行番号４または行番号７である。分岐先間にはこ
の上うな分岐先の行番号と当該行番号の命令か７１する
属性とが組にな−）だデータが設定される。

（ｃ）分岐元欄 前記各分岐命令により処理を移される分岐先の命令から
見て、処理が当該分岐先命令へ移る元となる分岐元命令
が対応ｒ；ｔけられる。したがって分岐元欄には、各品
令毎に前記分岐元＠　ｉ？が対応ｆ「けられる場急には
その分岐元命令の行番号と当該分岐命令の所属する属性
記号とが組とく、−）だデータが設定される。

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

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

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

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

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

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

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

第３表のプログラム例は第２表のプログラム例の行番号
４〜８が変更されている。第３にのプログラムｆ３’ｌ
＋で分岐光間、分岐元図および流れフラグ欄のデータの
決定方法は第２表のプログラム例の場合と同様である。

以下、属性の決定方法について説明する。

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

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

上記第２表および第３にのプロゲラｌ、例に関する流れ
利御データの属性データは、スタックの内容を変更する
命令を含む分岐命令に関してプログラムの実行経路毎に
、前述したように異なる記号を与えるようにしている。

二のような方法の場合、被解析プログラムにおける属性
の数が増大すると、後述するようにプロゲラｌ＼を逆上
って解析を行う場合、命令等にすべての属性間の属性デ
ータを倹素して同一の属性に沿って逆上るようなろ°５
埋を行うので、前記属性データの数を減小できれ（土よ
り高速な処理が実現できる。

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

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

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

２、・）は属性間の番号を示す。行番号１は行屏号１１
を分岐命令とする分岐先命令の場合かあり、したがって
フラグ＝「Ｏ」が設定される。また１ｌｆｔ下りフラグ
欄においてフラグ−「Ｏ」は、対応する命令が直ｒ＆の
命令と処理が連続しない命令て夕）す、分岐命令である
ことを示す。

行番号２ではまず設定された属性間１の番号がフラグ−
「１」として設定される。行番号３は分岐命令であり、
分岐先の行番号データＮ０＝ｒ９゜が設定される。属性
データＬＯについ’７．　ｔ　ｏ　＝＝　ｒＩＪが設定
される。この後、処理は行番号９へ分岐し、したがって
逆上りフラグ−「０」が設定される。行番号１０に（ｉ
逆上ｒ）フラグ−「１」が設定される。行番号ｒｌ　Ｉ
Ｊは分岐元命令であり、行番号データＮ０−ｒ４ｊが設
定される。この行番号４の命令は現時点では属性間１の
範囲にありしたがって属性データｔ　ｏ　＝　ｒ　ｌ　
」が設定されるこの後、処理は行番号・１ハ、杼る。こ
のため逆上りフラグおよび順下りフラグはｒＯ，、ｒｌ
ｊとなる。これ以降、行番号５〜１０には逆上リフラフ
−「０」またはｒｌ、のいずれかか設定されろこの後、
処理は行番号１１に到達する。分岐先は行番号５のｎ　
Ｓ　Ｉ（Ｋ５令にＹり行番号１に変更されており、した
かつて属性間２が増設され、逆上りフラグ−「２」が設
定される。また行番号データＮＯ＝　ｒ　１　ｊと属性
データｆ−ｏ−ｒｌ」が設定される。

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

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

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

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

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

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

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

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

前記順下りフラグは第４表のたとえば属性間１の順下り
フラグ欄に示すように設定される。ずｉわち、成行番号
の命令が直後の行番号の命令と連続した命令であれば「
１」、不連続す・イ令で、ｐ）れＲ’　０４を与える。

第４表の行番号２は行番号３と連続する命令であり、前
記データｒ　］、　、＋か与えられる。ところが行番号
３は行番号、４の命令とは連続せず、したがってデータ
「０」が」ｊ・えられろ。

第４図示ステップｃ７．ｃ９ては、上述したような内容
を有する逆上り属性、１′１ｎ下り属性３よび分岐穴間
が設定される。

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

これは第■図のリストファイル記（，０部０を９　ｉＴ
Ｑ　’。

て求められる。ステップ（，１２では、５ｊ−岐の数を
表す分岐数データｂｉを＋ｌインクリメントし。

ステップｃ１３では当該分岐数データ１）ｌと当該行番
号を配列ｎ１、 ｍ（ｂｉ）−Ｌ！　ｎ　　　　　　　　　　　　　＝１
３）で対応付ける。

ステップｃ１４では、後述するようにスタックの麦１ヒ
がチエツクされる。ステップｃ］５て゛は属性データが
計算されステップｃ　１６では次の行：）号を変数１’
ｎに設定し、処理をステップＣ２に戻す。前記ステップ
Ｃ８の判断が否定てあれば処理はステップｃ　ｌ　４に
ｆ多る。

前記ステップＣ３の判断が肯定て′あｔしば当該命令＋
ｉ　１ＪＩＪめて解析する命令行てはないことになり、
ステップｃ１７で同一属性を有する属性間が存在するか
否かが１′す断される。この４’ｌｌ　（＄Ｊｉか否定
であればステップｃ４に秤り、属性間が増加さ！とる。

ステップｃ１７の判断が１１定てあれはステップｃ１８
に秤り、当該分岐命令が分岐先行であるか否かが判断さ
れる。分岐先行であればステップｃ　］、　９で、第４
表の分岐斤量が設定され、ステップＣ２０に丁寧る。ス
テップｃ１８の判断か否定であｈはステップｃ２１にお
いて前記ステップＣ９て説明した逆上りフラグおよび順
下りフラグか設定される。ここでステップｃ　１９．　
ｃ　２１ｆｆｉ？＆、ステップｃ１７の判断が肯定とな
っているので同−属性間がすでに存在していることにな
り、この属性に関しては解析は終了しており、再び解析
を行うことなく解析処理が終了され、ステップＣ２０に
％理を移している。

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

第８図は、分岐条件解析手段１３の＋１３作を説明する
フローチャートである。上記第４ｋに示したプログラム
内容に即して分岐条件＋！了析処理について説明する。

第８図ステップｄ１ては行番号ｓｆｎをＯに設定し、ス
テップｄ２て゛は行番号ｓｉｇｎを＋１インクリメント
する。ステップ゛ｄ　３ては当該行番号ｉｎがプログラ
ムの最終行番号、すなわち第４表のプログラム例では行
番号１１を超えたか否かを判断する。超えていれば処理
は３！ミ了し、超えていなければステップｄ４に移る。

ステップ゛（」４ては？７番番号　ｎの命令か分岐イｆ
令であるがｊりかを判断する。上記プログラム例ては、
行番号（は分岐命令ではなく処理はステップ１）２へ戻
り、；）′：の行番号の命令Ｉ＼進む。行番弓３て分岐
命令て、ちることが１′す断され、ステップｄ５／＼氾
む。

ステップ＋、３５では、属性間番号をｋず変数ｋを０に
設定し、ステップｄ６て（ま変数ｋをＹ１インクリメン
トする。ステップ〈」７では、当該行番号ｉ　ｒ＋の命
令に関する啓性欄の個数をＪＩミナ配列（Ｚ（ｆｒ＋）
に関して。

ｋ　Ｓ　ＣＺ　（Ｏｎ）　　　　　　　　　　　　−（
４）の判断を行う。この＋’Ｉ　ｉＩＩ’ｉが否定て、
Ｐ）れζよ、第４図に示１−た流れ構造解析処理の際の
命令）汀の属性間の個数を超過したことになり、すなわ
ち当該分岐命令にＩ３けるすべての属性について分岐条
（′Ｆ解析が終了したことになり、処理はステップｄ　
２　／＼移つ、次の行番号の命令へ進む。

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

第９図は、第８図のステップｄ８の逆−Ｅり処理の詳細
を説明するフローチャートである。第９図ステップｅｌ
では、後述する制御′Ｘ：数ＳＷか０に初期化される。

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

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

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

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

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

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

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

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

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

ステップｇ９では、新たな・２−要情報があるか否かが
［＋１１断され、あればステップｇ１０で新たな情報フ
ラグを設定し、ステップ”ｇＬｌに仔る。前記ステップ
ｇ５の４．ＩＩ断が否定の場合、前記ワークメモリｒｎ
　（ｒ　ｃ　ｒ　ｎ　Ｏ）にはデータ「０」が設定され
、ステップｇｌｌに移る。ステップｇ９の判断が否定の
場合ら同様である。

ステップｇｌｌでは、分岐条１′！：やストア命令の内
容を確定するためにさらに新たな情報か必要か否かを表
す必要情報フラグが「０」であるか否かを判断する。す
なわち、必要情報フラグがパ１」のとき、逆上り解析処
理が出発した前記分岐命令やストア命令の実行内容か確
定したことになり、処理はステップｇ１２へ移り、前記
制御変数Ｓ　Ｗ−「４」とする。これは後述するように
、前記ワークメモリｎ１に記憶されたデータを第１ＶＡ
の分岐条件ファイル記憶部１６に言込む処理を行うため
である。また、前記ステップｇ］１の判断力（否定であ
れば、処理はステップｇ１３に秤り、制御変数ｓｗ−ｒ
ｏｕに設定される。こり、は後述するように、処理が第
９［２Ｉステツプｅ２へ戻ったとき、ステップｅ３へ移
って逆上りシ凸理を続行するためである。

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

ステップｅ７では、後述するように逆上り解析処理の分
岐先の行番号を求め、制御変数Ｓ　Ｗ＝「１」として処
理をステップｅ２に戻す。

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

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

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

第１３図は第１図ステップｅ９の未解析データ処理の詳
細を示すフローチャートである。第１３図ステラプル１
では、逆上り経路カウンタｒｃがｒＱｊであるか否かを
判断する。すなわち、未解析の逆上り解析経路が残って
いるかどうかを′ｌＪ１断する。このような未解析逆上
りルートが存在しなければステップｐ２に移り、制御変
’！Ｊ　Ｓ　Ｗ　＝　ｒ　５　。

として処理を終了する。ステップｐ１の判断が否定であ
ればステップｐ３に移り、逆上り経路カウンタｌ−Ｃを
−ｌデクリメントし、ステップｐ４にて第１１図ステッ
プｇ４で説明した分岐関数ワークデータｍ　（ｒ　ｃ　
）　、　ｃ　ｎがＯであるか否かを判断する。Ｏであれ
ば処理はステップｐ１に戻り、他の未解析経路に関して
同様な処理を行う。

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

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

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

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

第８１１Ｗステツプ（−」９では５ステップｄ８″Ｃ″
得られた逆上り解析経路海に分岐条件を合成する処理を
行う、上記第２表〜第３表における分岐命令は、黒条１
″ＩＺ分岐命令であり、第１表のプログラム例１に関し
て説明する。このプログラム例の分岐命令（ま、行番号
５のＢＣＣ命令であり、ｉ！！ｆｉ本した逆上る経路を
求める処理に従えば６番す５から出発する逆上り解析経
路として６番＝　５−４．−３−２−１か？１）られろ
。

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

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

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

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

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

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

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

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

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

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

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

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

行番号Ｒ７，Ｒ６・・・り１２） 行番号Ｒ７，Ｒ６，Ｒ２，Ｒ１・・（１３）行番号Ｒ７
，Ｒ５，Ｒ４，λ３．Ｒ２，Ｒ１・・（１４）である。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

行番号１１から行番号４へ処理が戻り、次に行番号５に
ｔ３いてスタックの記憶内容が行番号１７）アドレス＃
ＦＯＯＯに変更される。したがって。

これ以降の行番号４〜８の属性１１７１１にわいては、
スタックデータＶＡＬ＝　ｒｏＯＦＯ」が設定される。

行番号８にて、新たな属性面２が設定され、引続きスタ
ックデータＶＡＬ−ｒＯＯＦＯ」が設定される。

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

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

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

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

第１４［２Ｉは、このような実施例を説明ずろフローチ
ャートである。フローチャー１〜作成手段］９や実行内
容解析結果出力手段２０からの出力かたとえば下式、 Ｆ２　＝　Ｃ（Ａ＋（Ａ−Ｂ））　−（Ｃ１Ａ　　Ｂ）
＋　Ａ　　ｒ’（〈１５） のような論理記号の結合した論理式として与えられてい
るｔ％音、これを簡約化するには以下のｙｔ４　Ｆ＋！
！を行う。二の簡約化処理の基本方針は下記の第１６式
と第１７式とである。

Ａ　＋　Ａ　＝　Ｕ　　　　　　　　　　　　　　　（
１６）Ａ＋Ａ−ｇ＝Ａ＋ｇ　　　　　　　　　　　・〈
１７）Ｕ；全体集合 Ａ、Ｕの部分集合 Ａ、Ａの補集合 ｇ；単項 ・：論理積演算 ＋；論理和演算 第１５［］は、上記第１６式と第１７式の内容を説明す
るペン図である。上記第１６式は、全体ｑコ合Ｕに」づ
いて、部分束Ａ　Ａとその補集きＡとの和集合が常に全
体集合となる意味である。また、上記第１７式は部分集
合Ａと単項ｇとが互いに素であるならば、補集合Ａと単
項ｇとの積集キと集金人とは集合Ａと単項ｇとの和集合
になる意味である。

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

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

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

前記ステップｓ４で合成パターンがないことが判断され
ると、ステップｓ６に移り、他に０でくくれる同−項が
あるか否かが判１１ｆｉされ、なければステップｓ３に
移る。下記第２０式の州では、０内でこれ以上の合成バ
ク−〉がす＜、処理はステップｓｌに戻され、（）が分
解され、下記第２１式が得られる。

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

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

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

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

［Ａ　＋　Ａ、Ｂ　＝　Ａ・（Ｂ＋Ｂ）　＝　Ａ　　　
　　−（２５）したがって第２３式、第２１式第１辺第
１項わ上び第２５式より下記第２６式が記／′）れる。

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

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

発明の効果 本発明に従えば、実行内容出力手段では、前記実行内容
記憶手段に記憶された命令毎の論理式の結合された論理
式に論理演算を施し、簡約１ヒして出力する。これによ
りプログラム解析処理が効べ“１ヒされ、またこのよう
な解析処理における過誤の発生を防止することができる
。

【図面の簡単な説明】

第１図は解析装置１の構成を示すブロック図、第２図は
解析準備処理手段５の動作を説明するフローチャート、
第３図は彼解析プログラム例の動作の流れ仝示すフロー
チャート、第４図は流れ構造解析手殴１■の動作を説明
するフローチャート第５図は流れ制御ファイル記憶部■
２の構成を示ず図、第６図は分岐元ファイル記ｆ合部２
１の構成を示す図、第７図は属性ファイル記憶部２２の
構成を示す図、第８（２Ｉは分岐条件解析手段１３の動
作を説明するフローチャート、第９図は本実施例の逆上
りフラグを説明するフローチャー１へ、第１Ｏ図逆上り
処理における逆上り判断を説明する）１つ−チャー１−
　、第１１［２Ｉは逆−Ｌ　ｌ’）処理におけるデータ
設定処理を説明するフローチャート、第１２図は逆上り
処理の逆上り分岐処理を説明するフローチャート、第１
３図は逆上り処理の未解析ルー］・処理の動作を説明す
るフローチャー１〜、第１４図はデータ書込み処理を説
明するフローチャート、第１５図は被解析プログラム例
の動作の流れを説明するフローチャート、第１６図はス
タックの状態を説明する図、第１７図は論理式のプール
代数を用いる簡約化処理を説明するフローチャート、第
１８図は本実施例を説明するペン図、第１９図はプログ
ラム例の流れを示すフローチャートである。

Claims (1)

1. 【特許請求の範囲】 複数の命令から成るプログラムの各命令を配列順とは逆
   に逆上つて読取り、その内容を解析する装置において、 プログラムを逆上つて各命令の実行内容を読取る読取手
   段と、 読取られた各命令の実行内容を、命令毎の実行内容に対
   応する論理式の結合した論理式として記憶する実行内容
   記憶手段と、 実行内容記憶手段に記憶された命令毎の論理式の結合さ
   れた論理式に論理演算を施し、簡約化して出力する実行
   内容出力手段とを含むことを特徴とするプログラム内容
   解析装置。