JPH07225703A - ソフトウェアプログラムのエラー検出方法 - Google Patents

Abstract

(57)【要約】 【目的】 ソフトウェアプログラムが、無効なポインタ
をデレファレンスするエラーを検出する。 【構成】 各ポインタについて、最後に既知となったポ
インタの内容と、ポインタの有効メモリ範囲とを含むポ
インタ情報を格納しておく。ソフトウェアプログラムが
ポインタに新しい値が代入することを検出するごとにポ
インタ情報を更新する。次に、ソフトウェアプログラム
によってポインタのデレファレンスが行われることを検
出するごとに実行時ポインタ検査サブルーチンを実装す
る。このサブルーチンは、デレファレンスされたポイン
タに関するポインタ情報を検索し、そのポインタが格納
されているメモリ位置からそのポインタの実際の内容を
取得し、それがポインタ情報に記録されている内容と等
しい場合に限り、その内容によって指示されるメモリ空
間が、有効メモリ範囲内にあるかどうかを判定する。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、ソフトウェアプログラ
ムのテストおよびデバッグ処理システムに関し、詳しく
は「翻訳された原始（ソース）コード」と「コンパイル
された目的（オブジェクト）コード」との両方における
メモリアクセス誤り（エラー）を検出するための方法お
よび装置に関する。

【０００２】

【従来の技術】今日のコンピュータプログラミングの世
界においては、多くの高水準のプログラミング言語が利
用できる。しかし、その中でＣ、Ｃ＋＋、およびＰａｓ
ｃａｌのようなプログラミング言語は、それらの持つ柔
軟性およびパワーによってプログラマの間で非常に人気
のある言語となっている。

【０００３】これらのプログラム言語には、ソフトウェ
アにおいてプログラマが実現できることについての制約
がもしあったとしても非常に少ないので、根底にあるア
センブリプログラムが行うタスクであれば実際上どのよ
うなタスクでもプログラムに行わせることが可能であ
る。

【０００４】顕著なパワーおよび柔軟性の得られるこれ
らのプログラミング言語の特徴の１つは、ポインタによ
って制約なしにメモリにアクセスできるという能力であ
る。しかしポインタを制約なしに使用できることから、
従来のデバッグ処理手法では検出および訂正がしばしば
困難であるようなプログラムバグが生じる。

【０００５】種々のメモリアクセスエラーの検出用に、
いくつものソフトウェアテストおよびデバッグ処理ツー
ルが開発されている。例えば、米国カリフォルニア州サ
ニーベイルのピュアソフトウェア・インコーポレーテッ
ドから商業的に入手可能で、米国特許第５,１９３,１８
０号に開示されている、商品名「ピュリファイ(Purif
y)」ソフトウェアテストツールは、メモリアクセスエラ
ーおよびメモリ漏洩（リーク）を検出するためのシステ
ムを提供する。この「ピュリファイ」システムは、メモ
リの各バイトについてメモリ割付および初期化の状態を
監視（モニタ）する。

【０００６】これに加えて、「ピュリファイ」システム
は、メモリ要素配列（メモリ配列）境界違反および同様
のメモリアクセスエラーを検出するために、割付を受け
たメモリの各ブロックの前後に８バイトのバッファゾー
ンを設けている。バッファゾーン内の各バイトの状態
は、割付も初期化もされていない状態（非割付・非初期
化状態）にセットされる。

【０００７】メモリにアクセスする各命令について、
「ピュリファイ」システムは、割り付けられていないメ
モリへの書き込み、および初期化されていないまたは割
り付けられていないメモリからの読み出しをプログラム
が行っていないことを確実にするための試験を行う。

【０００８】「ピュリファイ」システムを用いることに
よって、多くのメモリアクセスエラーを検出するための
有効な基礎は得られるが、このシステムは、割付された
メモリの第１のブロックに連関するポインタが、割付さ
れ初期化されたメモリの第２のブロックに不適切にアク
セスする場合に生じる共通プログラムエラーの検出はし
ない。

【０００９】すなわち、「ピュリファイ」システムは、
ポインタによって指示されたメモリが割付されているこ
とおよび初期化されていることだけを検証し、ポインタ
によって指示されたメモリがそのポインタについて設定
されている適切な境界範囲内にあることの検証は行わな
い。

【００１０】この制限を克服しようとする試みから、別
のソフトウェアテストおよびデバッグ処理ツールが開発
された。例えば、ステッフェン(Joseph L. Steffen)の
論文「ポータブルＣコンパイラへの実行時（ランタイ
ム）検査の追加」（Software-Practice and Experience
誌、第２２（４）巻、１９９２年４月、３０５−３１６
ページ）に記述されている、コンパイラを基盤とするメ
モリアクセス検出システムは、各ポインタについて３語
を利用し、それによってポインタがそのポインタの有効
範囲についての情報を得られるようにしたものである。

【００１１】すなわち、ポインタがメモリにアクセスす
る都度、そのポインタによって指示されたメモリがそれ
ぞれのポインタについての適切な境界範囲内にあること
を確実にするような検査が行われる。

【００１２】しかし、プログラマの多くは、自分のソフ
トウェアのテストおよびデバッグ処理を、コンパイラ環
境よりも翻訳器（インタプリタ）環境で行うことを好
む。その理由は、インタプリタを基盤とするデバッグ処
理処理の方が一般に、程度の高い追跡およびその他の診
断手法が得られることから、デバッグ処理中により柔軟
性がありまたより大きな支援が得られるためである。

【００１３】たぶん、より普通なのは、いくつかのファ
イルが「翻訳された原始コード」から構成され他のファ
イルが「コンパイルされた目的コード」から構成される
ような、部分的翻訳である。

【００１４】しかし、部分的翻訳の環境で作動するソフ
トウェアデバッグ処理ツール（例えば、センタラインソ
フトウェア・インコーポレーテッドから商業的に入手可
能な、前に「セーバ・Ｃ」システムとして知られた「セ
ンタラインコードセンタ」システム）は一般に、「コン
パイルされた目的コード」のエラー検査に関しては、上
に述べた「ピュリファイ」システムと同じ制限がある。

【００１５】詳しくは、これらの部分的翻訳デバッグ処
理ツールは一般に、「コンパイルされた目的コード」内
でポインタによって指示されたメモリが割付され且つ初
期化されていることだけを検証し、ポインタによって指
示されたメモリがそのポインタについて設定されている
適切な境界範囲内にあることの検証は行わない。

【００１６】

【発明が解決しようとする課題】従来の技術についての
上記の欠点から明らかなように、「翻訳された原始コー
ド」と「コンパイルされた目的コード」との両方を実行
しながらエラー検出タスクを行うことのできるソフトウ
ェアテストおよびデバッグ処理ツールの必要性が存在す
る。さらに、与えられたポインタによって指示されたメ
モリがそれぞれのポインタについての適切な境界範囲内
にあることを確実にするソフトウェアテストおよびデバ
ッグ処理ツールの必要性が存在する。

【００１７】その上、読み出し時またはパーズ時に導出
される情報を利用することにより、実行時に行われる重
複または重合するポインタ検査の数を減少させるよう
な、より効率的なソフトウェアテストおよびデバッグ処
理ツールの必要性が存在する。

【００１８】

【課題を解決するための手段】概略的には、本発明の一
態様によれば、ソフトウェアプログラムにおけるいくつ
ものメモリアクセスエラー、を検出するためのソフトウ
ェアテストおよびデバッグ処理システムとしての処理ツ
ールが設けられる。これらのメモリアクセスエラーは例
えば、配列次元違反、無効ポインタの「関連付けの解除
（関連解除）（デレファレンス）」、解放されたメモリ
へのアクセス、初期化されていないメモリからの読み出
し、およびメモリ漏洩の自動検出である。これに加え
て、本システムは、検出されたエラーの特定および訂正
を行うための診断情報を有する。

【００１９】本発明の別の態様によれば、ソフトウェア
プログラムにおける各ポインタについてのポインタ情報
を記録するためのシステムが設けられる。記録されたポ
インタ情報は、例えば連関するポインタのアドレスおよ
び内容、ならびに連関するポインタが有効に指示できる
メモリ範囲を含むのが好ましい。

【００２０】これに加えて、割付されたメモリの各領域
についての割付情報を記録するためのシステムが設けら
れる。記録されたメモリ割付情報は、例えば割付された
メモリの連関領域を現に指示する全ポインタのチェイン
リスト、および割付されたメモリの連関領域の各バイト
の初期化状態を維持する初期化ビットベクトルを含むの
が好ましい。

【００２１】読み出し時エラー検査プロセスが、翻訳さ
れた原始コードに連関する構文木（パーズ木）の各ライ
ンを解析する。翻訳された原始コードに現れる各ポイン
タ割当またはポインタ関連解除の各々に応答して、「読
み出し時エラー検査プロセス」が、パーズ木内にエラー
検査コマンドおよび追加情報を適切に挿入する。

【００２２】「実行時エラー検査プロセス」が、ポイン
タ割当に応答してパーズ木内に挿入された各エラー検査
コマンドについての適切な、記録されたポインタ情報の
更新を開始する。同様に、ポインタ関連解除に応答して
パース木内に挿入された各エラー検査コマンドについ
て、「実行時エラー検査プロセス」が、関連解除（デレ
ファレンス）されたポインタについて記録されているポ
インタ情報のポインタ検査を開始する。

【００２３】実行時ポインタ検査は、関連解除されたポ
インタについての記録されているポインタ情報を検討評
価（または単に、評価）し、関連解除されたポインタが
その有効メモリスペース外を指示しているかどうかを検
出する。

【００２４】本発明のさらに別の特徴によれば、「コン
パイルされた目的コード関数」（または簡単に、「コン
パイルされたコード関数」）に対するエラー検査プロセ
スが、エラー検査を要する「コンパイルされたコード関
数」に連関する翻訳された「ラッパ関数」を用いて行わ
れる。必要なエラー検査プロセスを実現するために、ラ
ッパ関数は、必要に応じて、連関する「コンパイルされ
たコード関数」の前および／または後に実行される。

【００２５】関連解除されたポインタの各々についてポ
インタ検査を開始するために、「コンパイルされた目的
コード」の実行中ポインタを関連解除するものとして知
られる「コンパイルされたコード関数」の各々に「実行
前ラッパ関数」を連関させるのが好ましい。「実行前ラ
ッパ関数」は、「コンパイルされたコード関数」へ送ら
れた引数（アーギュメント）についての追加検査も行
う。

【００２６】「コンパイルされたコード」の実行中ポイ
ンタの生成を行うものとして知られる「コンパイルされ
たコード関数」の各々に「実行後ラッパ関数」を連関さ
せるのが好ましく、同様に、ポインタ値を返すものとし
て知られる「コンパイルされた目的コード関数」の各々
に「実行後ラッパ関数」を連関させるのが好ましい。こ
のポインタ値は次に、呼び出し関数によって返されると
すぐに別のポインタに割り当てられる。

【００２７】もし連関させた「コンパイルされたコード
関数」がポインタを生成する場合、「実行後ラッパ関
数」が、生成されたポインタについてのポインタ情報を
適切なメモリ位置に記録することが好ましい。もし連関
させた「コンパイルされたコード関数」がポインタ値を
呼び出し関数に返す場合、呼び出し関数の実行中に次に
行われる検索取り出しのために、「実行後ラッパ関数」
が、必要なポインタ情報をポインタ保存スタックに位置
させることが好ましい。

【００２８】本発明のさらに別の特徴によれば、割付を
解除されたメモリの領域がアクセスされる場合を検出す
るための方法が提供される。割付されたメモリの領域の
割付の解除後すぐに、そのメモリ領域に連関するメモリ
割付情報に含まれるチェインリストがアクセスされて、
割付されたメモリの領域を現に指示する全ポインタのリ
ストが得られる。その後、ポインタが、割付を解除され
たメモリの領域を今指示している旨の表示が、チェイン
リスト中に列記された各ポインタに連関するポインタ情
報に記録される。

【００２９】したがって、もし、割付を解除されたメモ
リスペースをポインタが指示している旨の表示がありな
がら、そのポインタが関連解除される場合に、エラーが
検出される。

【００３０】本発明の別の特徴によれば、初期化されて
いないメモリの領域からの読み出しが行われる場合を検
出する方法が提供される。割付されたメモリの領域の１
個以上のバイトが「翻訳された原始コード」によって初
期化される都度、メモリのその連関領域についてのメモ
リ割付情報における初期化ビットベクトルが、その対応
する数のメモリバイトが初期化されたことを表示するよ
うに更新される。

【００３１】メモリを初期化する「コンパイルされたコ
ード関数」が実行される都度、初期化ビットベクトル維
持サブルーチンが行われる。初期化ビットベクトル維持
サブルーチンは、「コンパイルされたコード関数」によ
ってメモリの１バイト以上の初期化を検出し、その対応
する数のメモリバイトが初期化されたことを表示するよ
うに初期化ビットベクトルを更新する。

【００３２】メモリの領域からの読み出しを行うように
ポインタが関連解除される都度、初期化ビットベクトル
が評価されて、読み出しが行われているメモリ領域が初
期化された状態にあるかどうかが定められる。

【００３３】本発明のさらに別の特徴によれば、メモリ
漏洩が自動的に検出可能となる。割付されたメモリの各
領域を現に指示しているポインタのリストがポインタの
割当によって修正される都度、割付されたメモリのその
領域に連関するメモリ割付情報に含まれるチェインリス
トが更新される。もしチェインリストが空きの場合、メ
モリ漏洩が識別される。

【００３４】本発明のなお別の特徴によれば、データ流
れ解析を利用して、読み出し時パーズ木についての重複
すなわち重合するポインタ検査を削除することによっ
て、実行時において行う必要のあるポインタ検査の数を
最小化する処理が行われる。これに加えて、データ流れ
解析により、空のまたは初期化されていないポインタの
関連解除を読み出し時において検出することが可能とな
る。

【００３５】

【実施例】本発明に基づくメモリアクセスエラー検出シ
ステムを図１に示す。ここに開示するメモリアクセスエ
ラー検出システムは、ソフトウェア生成システムを基盤
とするソフトウェアテストおよびデバッグ処理ツールで
ある。この場合のソフトウェア生成システムは、翻訳器
（インタプリタ）、またはコンパイラ、あるいはその
他、原始コードを実行可能なフォーマットに変換する能
力を有する類似のシステムとして実施される。

【００３６】本メモリアクセスエラー検出システムは、
種々のメモリアクセスエラーを検出するために、検査対
象ソフトウェアプログラムを解析する。これらのメモリ
アクセスエラーは例えば、配列次元違反、無効ポインタ
の関連解除、解放されたメモリへのアクセス、初期化さ
れていないメモリからの読み出し、およびメモリ漏洩の
自動検出である。加えて、本システムは、検出されたエ
ラーの特定および訂正を行うための診断情報を有する。

【００３７】本発明を以下５つの主要項目に分けて説明
する。第１に、導入部において、まず図１の概略ブロッ
ク図を参照して、本発明のメモリアクセスエラー検出シ
ステムについて述べる。またこの導入部では、概略的に
は図１にまた詳しくは図２に示すようなポインタ検査表
２００についての詳細説明も行う。図２に示すポインタ
検査表２００は、図３〜図６を参照して説明するような
連関事例におけるデータからなる。

【００３８】第２に、図１に示すメモリアクセスエラー
検出コード挿入器２５によって実行されるような、本発
明の「読み出し時エラー検査プロセス」を、［読み出し
時エラー検査動作］と題する項目において、図７〜図１
１を参照して説明する。本項目においてはその終りに、
図２３および図２４を参照して、実行時において行う必
要のあるポインタ検査の数を最小化することとある読み
出し時エラーを検出できるようにすることとを目的とし
て読み出し時において行われるデータ流れ解析、につい
て述べる。

【００３９】第３に、「コンパイルされた目的コード関
数」（または簡単に、「コンパイルされたコード関
数」）についてのエラー検査を実現するための好ましい
実施例を、［コンパイルされた目的コードのエラー検
査］と題する項目において説明する。本項目において
は、連関する「コンパイルされたコード関数」について
のエラー検査を行うために必要に応じて実行される「翻
訳されたラッパ関数」に関して述べる。コンパイルされ
たメモリ割付解除関数の各々に連関する好ましい「実行
前ラッパ関数」についても図１２を参照して説明する。

【００４０】第４に、図１に示す評価器３５によって実
行されるような、本発明の「実行時エラー検査プロセ
ス」を、［実行時エラー検査動作］と題する項目におい
て、図１３〜図２２を参照して説明する。

【００４１】最後に、メモリ漏洩を検査するための方
法、および検出されていないポインタ修正のソースを
「コンパイルされたコード関数」によって特定するため
の方法を、［メモリ漏洩の特定および検出されていない
ポインタ修正のソースの特定］と題する項目において説
明する。

【００４２】図１に示すように、メモリアクセスエラー
検出システムは、商業的にＡＴ＆Ｔ社から入手可能な、
Ｃプログラミング言語用のＣＩＮ翻訳器をエラー検査関
数が得られるように改造した翻訳器のような、翻訳器
（インタプリタ）１５を用いるのが好ましい。下でさら
に述べるように翻訳器１５は「翻訳された原始コード」
および「コンパイルされた目的コード」の両方を実行し
ながらエラー検出タスクを行う。

【００４３】翻訳器１５によって受信される原始コード
を、読み出し時においてパーザ（構文解析器）２０が解
析し、原始コードを周知のパーザ木（構文木）に変換す
る。これに加えて、原始コードがプログラムメモリに読
み込まれると、内部記号表７５がパーザ２０によって形
成される。

【００４４】内部記号表７５には、原始コードに定義さ
れる記号ラベルの各々についてのエントリが既知の方法
で含まれる。内部記号表７５の各エントリからその連関
する記号ラベルが判る。またこれらの各エントリは、そ
れぞれの記号ラベルに割付されたメモリ位置のアドレス
を含む。

【００４５】メモリアクセスエラー検出コード挿入器２
５が設けられ、パーザ２０によって生成されたパーズ木
上で、図７〜図１１を参照して下にさらに説明するよう
に読み出し時エラー検査プロセスを行う。下にさらに述
べるように、メモリアクセスエラー検出コード挿入器２
５が、原始コードから導出されたパーズ木を解析し、適
切な場合にはエラー検査コマンドおよび追加情報をパー
ズ木の中に挿入する。この追加情報は実行時において評
価される。

【００４６】それから、メモリアクセスエラー検出コー
ド挿入器２５によって生成された修正パーズ木（挿入さ
れたエラー検査コマンドおよび追加情報から構成され
る）が、「木からスタックへコード変換する「木／スタ
ックコード変換器」３０に入力される。木／スタックコ
ード変換器３０は、機械語内に本来ある内部疑似コード
を生成する。

【００４７】上に述べたように、翻訳器１５は「翻訳さ
れた原始コード」および「コンパイルされた目的コー
ド」の両方を実行しながらエラー検出タスクを行うこと
が好ましい。そのため、コンパイルされた目的コードを
再配置するリンク装置４０が設けられる。目的コードが
読み出し時においてリンク装置４０によってプログラム
メモリにロードされると、内部記号表７５が、目的コー
ドにおいて定義された各記号ラベルについてのエントリ
を含むように、上に述べた方法で更新される。

【００４８】実行時において、評価器３５が、インタプ
リタスタック６０を利用して、木／スタックコード変換
器３０によって生成された内部疑似コードと、翻訳され
た内部疑似コードから呼び出されたコンパイルされた目
的コードとを、さらに下で述べる方法で実行する。評価
器３５の出力をモニタするために、プリンタ４５が設け
られる。このプリンタ４５は、原始コードフォーマット
で評価器３５によって実行される内部疑似コードプログ
ラムを列記する。

【００４９】本発明の一特徴によれば、評価器３５が、
読み出し時中および実行時状況において内部疑似コード
内に設定されたコマンドおよび情報に基づいて、図２を
参照してさらに下で述べるように、ポインタ検査表２０
０を生成する。ポインタ検査表２００は、それぞれのポ
インタの使用および修正をモニタするために利用される
各ポインタについての情報を記録する。

【００５０】これに加えて、ポインタ情報を評価器３５
が将来使用することが予想されるのでそのために、ポイ
ンタ情報が、キャッシュメモリ７４、すなわち非常に高
速のメモリ区域に評価器３５によって一時的に記憶され
る。本発明の一実施例においては、キャッシュメモリ７
４が最も最近に参照された２個のポインタのアドレスを
記憶する。これらの値が、下に述べるように実行時にお
ける動作中に評価器３５によって次に必要とされる場
合、このような方法で、これらの値が評価器３５へ直接
に転送されるので、動作速度が増加する。

【００５１】もし望むポインタ情報がキャッシュメモリ
７４内に見出されない場合、好ましくは、バケットが最
も最近のポインタ更新によって分類されるような「バケ
ット・ハッシュ・ルックアップ」アルゴリズムを用い
て、ポインタ検査表２００がアクセスされる。

【００５２】例えば、評価器３５によって実行されてい
る関数の引数を記憶するために、周知のハードウェアス
タック６７が評価器３５によってアクセスされる。これ
に加えて、評価器３５が、実行時エラー検査動作の好ま
しい実施例を実現化しながら、ポインタ保存スタック６
５にアクセスする。これについてはさらに下に述べる。

【００５３】さらに下の「コンパイルされた目的コード
のエラー検査」と題する項目で述べるが、コンパイルさ
れたコード関数に連関する「翻訳された実行前および実
行後ラッパ関数」を記憶するために、ラッパ・ライブラ
リ７０を設けることが好ましい。「翻訳された実行前お
よび実行後ラッパ関数」によって、連関するコンパイル
されたコード関数について、必要に応じてエラー検査プ
ロセスを行うことが可能となる。

【００５４】さらに下で「実行時エラー検査動作」と題
する項目において述べるように、ポインタ検査表２００
の適切なエントリが、ポインタが新しい値を割り当てら
れる都度、評価器３５により実行時において更新され
る。この方法で、ポインタ検査表２００が、各ポインタ
についての現ポインタ情報を記録する。

【００５５】しかし、周知のように、従来の翻訳器は通
常、コンパイルされた目的コードによってポインタ値に
加えられた修正については気付かない。したがって、本
発明の一態様により、ポインタ検査表２００内の適切な
エントリを修正ポインタ情報で更新するために、ポイン
タ値を修正するものとして知られる連関するコンパイル
されたコード関数の実行後に、下の「コンパイルされた
目的コードのエラー検査」と題する項目において説明す
る「実行後ラッパ関数」を実行することが好ましい。

【００５６】これに加えて、新しいポインタ値が次に用
いられるときにそのポインタ値についての前に検出され
なかった修正を検出してフラグを付けるためのステップ
１１２４およびステップ１１２８（図１８）における追
補メカニズムが、下に図１８および図１９を参照して説
明する実行時ポインタ検査サブルーチンによって得られ
る。

【００５７】図２に示すポインタ検査表２００のような
ポインタ検査表は、異なるポインタに各々が連関する横
列２２０、２２２、２２４のような、複数の横列を有す
る。ポインタ検査表２００の各横列は、連関するポイン
タについての情報を記憶するための複数のエントリを有
する。

【００５８】エントリ２３０は、連関するポインタが記
憶されているメモリ内のアドレスを記憶する。同様に、
エントリ２４０は、連関するポインタの内容を記憶す
る。エントリ２５０ａは、連関するポインタの有効下側
メモリ境界を記録し、他方、エントリ２５０ｂは、有効
上側メモリ境界を記録を記録する。状態エントリ２６０
は、連関するポインタについての、さらに下に述べるい
くつもの予め定義されたコードのうちの１つを記録す
る。

【００５９】最後に、ファイル／ライン番号エントリ２
７０は、ポインタの最後の修正に連関するファイル名お
よびライン番号を指示するポインタを記録する。この最
後の修正データを利用してエラー検出時に診断情報が得
られる。

【００６０】説明の便宜上、図３に示す原始コードファ
イル例「テストファイル」のライン１０からライン２１
０までの実行後すぐに宣言され初期化されたポインタに
連関するポインタ情報から構成されるものとする。な
お、原始コードファイル「テストファイル」は、各整数
変数について２バイトおよび各文字変数について１バイ
トを割付するマシン上で作動する。

【００６１】図３に示す原始コードファイル「テストフ
ァイル」のライン１０からライン４０までの実行中、整
数番号「ｎｕｍｂｅｒ」および文字番号「ｎａｍｅ」を
有する「ｐａｒｔ」型の構造体「ｗｉｄｇｅｔ」が宣言
される。ポインタ「ｐｔｒ＿ｐａｒｔ」がライン５０に
おいて宣言される。

【００６２】ライン６０の実行中、ポインタ「ｐｔｒ＿
ｐａｒｔ」は、構造体「ｗｉｄｇｅｔ」のアドレスを指
示するように割当を受ける。ライン６０におけるこのポ
インタ指示割当によって、ポインタ「ｐｔｒ＿ｐａｒ
ｔ」についてのポインタ情報がポインタ検査表２００内
に入れられる。ライン１０からライン６０までの実行の
結果として得られるメモリ割付を図４に示す。

【００６３】図４から判るように、ポインタ「ｐｔｒ＿
ｐａｒｔ」にはアドレス「２０４８」がメモリ割付され
ており、ポインタ「ｐｔｒ＿ｐａｒｔ」についてのポイ
ンタ検査表２００のポインタエントリ２３０のポインタ
アドレス欄（図２）に入れられる。ポインタ「ｐｔｒ＿
ｐａｒｔ」は、構造体「ｗｉｄｇｅｔ」のアドレス、す
なわちアドレス「１０００」を指示するように割り当て
られており、ポインタ「ｐｔｒ＿ｐａｒｔ」についての
ポインタエントリ２４０のポインタ内容欄（図２）に入
れられる。

【００６４】ポインタ「ｐｔｒ＿ｐａｒｔ」は、構造体
「ｗｉｄｇｅｔ」内のどの位置、すなわち範囲１０００
から１０１１までの領域内のどのアドレスを指示する割
当も有効であるので、この情報は有効メモリ境界エント
リ２５０ａ、２５０ｂ内に入れられる。

【００６５】ポインタ検査表２００内の状態エントリ２
６０は、ポインタ「ｐｔｒ＿ｐａｒｔ」が「境界あり」
（ＢＯＵＮＤＥＤ）とマーク付けした領域を指示するこ
とを表すように更新されることが好ましく、下でさらに
述べるような方法で更新されることが好ましい。ファイ
ル／ライン番号エントリ２７０は、ポインタ「ｐｔｒ＿
ｐａｒｔ」がライン６０において原始コードファイル
「テストファイル」によって前回更新されたことを表す
ように更新されることが好ましい。

【００６６】図３に示す原始コードファイル「テストフ
ァイル」のライン７０およびライン８０の実行中、２個
の変数、すなわち整数変数「ｔｅｓｔｉｎｔ」および文
字変数「ｔｅｓｔｃｈａｒ」がそれぞれ宣言される。ポ
インタ「ｐｔｒ＿ｔｅｓｔｉｎｔ」がライン９０におい
て宣言され、整数変数「ｔｅｓｔｉｎｔ」を指示するよ
うに割当を受ける。ポインタ「ｐｔｒ＿ｔｅｓｔｃｈａ
ｒ」がライン１００において宣言され、文字変数「ｔｅ
ｓｔｃｈａｒ」を指示するように割当を受ける。

【００６７】ライン９０およびライン１００におけるポ
インタ割当によって、ポインタ「ｐｔｒ＿ｔｅｓｔｉｎ
ｔ」およびポインタ「ｐｔｒ＿ｔｅｓｔｃｈａｒ」につ
いてのポインタ情報がポインタ検査表２００内に入れら
れる。ライン７０からライン１００までの実行の結果と
して得られるメモリ割付を図５に示す。

【００６８】図５から判るように、ポインタ「ｐｔｒ＿
ｔｅｓｔｉｎｔ」にはアドレス「２０８６」がメモリ割
付されており、ポインタ「ｐｔｒ＿ｔｅｓｔｃｈａｒ」
にはアドレス「２０９０」がメモリ割付されている。こ
の情報は、各ポインタ、すなわちポインタ「ｐｔｒ＿ｔ
ｅｓｔｉｎｔ」およびポインタ「ｐｔｒ＿ｔｅｓｔｃｈ
ａｒ」、についてのポインタ検査表２００のポインタエ
ントリ２３０のポインタアドレス欄（図２）に入れられ
る。

【００６９】ポインタ「ｐｔｒ＿ｔｅｓｔｉｎｔ」は、
整数変数「ｔｅｓｔｉｎｔ」のアドレス、すなわちアド
レス「１５００」を指示するように割り当てられてお
り、ポインタ「ｐｔｒ＿ｔｅｓｔｃｈａｒ」は、文字変
数「ｔｅｓｔｃｈａｒ」のアドレス、すなわちアドレス
「１５０２」を指示するように割り当てられている。こ
の情報は、各ポインタ、すなわちポインタ「ｐｔｒ＿ｔ
ｅｓｔｉｎｔ」およびポインタ「ｐｔｒ＿ｔｅｓｔｃｈ
ａｒ」、についてのポインタ検査表２００のポインタエ
ントリ２４０のポインタ内容欄（図２）に入れられる。

【００７０】ポインタ「ｐｔｒ＿ｔｅｓｔｉｎｔ」は、
２バイトの整数変数「ｔｅｓｔｉｎｔ」だけ、すなわち
欄１５００から１５０１までの領域内だけを指示する指
示するので、この情報は、ポインタ「ｐｔｒ＿ｔｅｓｔ
ｉｎｔ」についての有効メモリ境界エントリ２５０ａ、
２５０ｂ内に入れられる。

【００７１】同様に、ポインタ「ｐｔｒ＿ｔｅｓｔｃｈ
ａｒ」は、１バイトの文字変数「ｔｅｓｔｃｈａｒ」だ
け、すなわち１バイトアドレス１５０２だけを指示す
る。したがって、この情報は、ポインタ「ｐｔｒ＿ｔｅ
ｓｔｃｈａｒ」についてのポインタ検査表２００内の有
効メモリ境界エントリ２５０ａ、２５０ｂ内に入れられ
る。

【００７２】ポインタ「ｐｔｒ＿ｔｅｓｔｉｎｔ」およ
びポインタ「ｐｔｒ＿ｔｅｓｔｃｈａｒ」についてのポ
インタ検査表２００内の状態エントリ２６０は、それぞ
れのポインタが「境界あり」の領域を指示することを表
すように更新されることが好ましく、下でさらに述べる
ような方法で更新されることが好ましい。ファイル／ラ
イン番号エントリ２７０は、これらのポインタがライン
９０およびライン１００において原始コード「テストフ
ァイル」によって前回更新されたことを表すようにそれ
ぞれ更新されることが好ましい。

【００７３】コンパイルされたライブラリ関数「ｍａｌ
ｌｏｃ」を用いて３５バイトのメモリの割付を行い、割
付を受けたメモリの始点アドレスの値を、宣言されたポ
インタ「ｐｔｒ＿ａｌｌｏｃ」に返す、原始コードファ
イル「テストファイル」のライン２００からライン２１
０までの実行と、結果として得られるメモリ割付（図６
に示す）とについて、下の「コンパイルされた目的コー
ドのエラー検査」と題する項目において説明する。

【００７４】図３に示す原始コードファイル「テストフ
ァイル」のライン３００の実行中、ポインタ「ｐｔｒ＿
ｔｅｓｔｃｈａｒ」（前に述べたようにライン１００に
おいて前に値を割り当てられている）が、構造体「ｗｉ
ｄｇｅｔ」の構成部分（メンバ）を指示するように指示
について再割当される。したがって、ポインタ「ｐｔｒ
＿ｔｅｓｔｃｈａｒ」についてのポインタ検査表２００
における情報については、指示割当に連関する新しいポ
インタ情報に更新する必要がある。

【００７５】すなわち、ライン３００の実行に続いて、
ポインタ「ｐｔｒ＿ｔｅｓｔｃｈａｒ」についての「ポ
インタの内容」エントリ２４０を、ポインタが今、構造
体構成部分（構造体メンバ）「ｗｉｄｇｅｔ.ｎａｍ
ｅ」 、つまり「１００２」を指示することを表すよう
に更新する必要がある。

【００７６】なお、もしポインタ構成部分（ポインタメ
ンバ）を含む第１の構造体が第２の構造体にコピーされ
る場合、第１の構造体におけるポインタメンバについて
のポインタ検査表２００内に記録されているポインタ情
報を、第２の構造体におけるポインタメンバについての
エントリ内に適切に入れる必要がある。

【００７７】本発明の一特徴によれば、ポインタ値の有
効性を確実にするために、上に述べたポインタ検査表２
００が、ポインタが関連解除される都度、すなわちその
ポインタによって指示されるメモリがアクセスされる都
度、利用される。例えば、図３に示す原始コードファイ
ル「テストファイル」のライン３１０の実行後すぐに、
ポインタ「ｐｔｒ＿ｔｅｓｔｉｎｔ」によって指示され
るアドレスに定数１２０２４が書き込まれるようにポイ
ンタ「ｐｔｒ＿ｔｅｓｔｉｎｔ」が関連解除される。

【００７８】下でさらに述べるように、ポインタ「ｐｔ
ｒ＿ｔｅｓｔｉｎｔ」によって指示されるメモリ位置が
アクセスされる直前に、ポインタ「ｐｔｒ＿ｔｅｓｔｉ
ｎｔ」が有効なメモリ位置、すなわちポインタ「ｐｔｒ
＿ｔｅｓｔｉｎｔ」についての有効なメモリ境界エント
リ２５０ａ、２５０ｂに記録されているような有効なメ
モリ境界１５００から１５０１までの範囲内、を指示し
ていることを確実にするために、ポインタ内容の有効性
を検査する。メモリアクセスエラー検出システムが、

【００７９】本発明の好ましい一実施例において、静的
ポインタについての情報を記録する表と自動ポインタに
ついての情報を記録する表との２個の別個のポインタ検
査表２００が維持される。自動ポインタは、自動ポイン
タが定義される特定関数の範囲内でだけ既知であるの
で、連関するポインタ情報を別個の表に記録する方が、
より効率的である。したがって、自動ポインタ検査表２
００は、各関数の実行後、再初期化される。

【００８０】ポインタ検査表２００には、２種類のポイ
ンタ、すなわち静的データを指示するように初期化され
る静的ポインタと主関数へ送られる「ａｒｇｖ」ポイン
タ引数とについてのポインタ情報をプリロードする（先
に入れる）ことが好ましい。これらの原始コードファイ
ルラインの実行は通常、下に述べるポインタ検査表更新
のメカニズムに関連しないので、これらの情報について
は、内部疑似コードの実行に先立ってポインタ検査表２
００内に自動的にプリロードすることが好ましい。

【００８１】［読み出し時エラー検査動作］メモリアク
セスエラー検出コード挿入器２５がパーズ木の各ライン
について読み出しを行って、図７の流れ図に示す「読み
出し時エラー検査プロセス」を起動実現させる。「読み
出し時エラー検査プロセス」は、ある種のエラー検査コ
マンドと追加情報とをパーズ木に挿入するある種の読み
出し時エラー検査タスクを行うために、パーズ木の各ラ
イン、またはノード、を評価する。

【００８２】この、メモリアクセスエラー検出コード挿
入器２５によって実現される「読み出し時エラー検査プ
ロセス」は本来、図１３から図２２までを参照して下に
説明するような、実行時において行われる実際のエラー
検出プロセス、を起動し実行させる役をする前段階タス
クを行う。

【００８３】「読み出し時エラー検査プロセス」は、図
７に示すように、もし評価中のコードラインについて実
行すべきエラー検査サブルーチンがあれば、そのうちの
どのエラー検査サブルーチンを実行すべきかを定める。
概略的には、プロセスについてのプログラム実行手順
（以下簡単に、手順）は、パーズ木の各ラインが読み出
されるステップ３００において「読み出し時エラー検査
プロセス」に入り、その後、もしステップ３１０の条件
が満足される場合、「読み出し時配列次元検査サブルー
チン」（図８を参照して下に述べる）が実行される。

【００８４】同様に、もしステップ３２０の条件が満足
される場合、「読み出し時ポインタ検査表更新サブルー
チン」（図９および図１０を参照して下に述べる）が実
行される。またもしステップ３３０の条件が満足される
場合、「読み出し時ポインタ検査サブルーチン」（図１
１を参照して下に述べる）が実行される。最後に、もし
ステップ３３５の条件が満足される場合、ステップ３３
７の間に、適切なフラグ（下に述べる）がセットされ
る。

【００８５】これに加えて、メモリアクセスエラー検出
コード挿入器２５がパーズ木のラインのすべてを読み出
して解析したことがステップ３４０において検出される
と、「読み出し時エラー検査プロセス」は、ステップ３
５０およびステップ３６０においてデータ流れ解析（下
でさらに説明する）を行う。これによって、実行時にお
いて行う必要のあるポインタ検査の数が削減され、読み
出し時エラーの検出が可能となる。

【００８６】もし「読み出し時エラー検査プロセス」に
よって評価中の原始コードファイルのラインが、宣言さ
れた配列に対する参照を含むことがステップ３１０（図
７）において検出された場合、手順はステップ４１０
（図８）において図８に示す「読み出し時配列次元検査
サブルーチン」に入り、同サブルーチンが開始される。

【００８７】「読み出し時配列次元検査サブルーチン」
は、不正な添字（指標）、すなわち負の添字または宣言
された配列サイズを超過する添字が配列を参照するため
に用いられているかどうかを判定する。多くのプログラ
ミング言語において、多次元配列のうちの１つの次元の
範囲を超過しながらなお配列の全範囲内に収まることは
可能なので、各次元についてその適切な境界が維持され
ているかどうかの検査が行われる。

【００８８】なお、最大有効配列添字は一般に、その次
元についての宣言された配列サイズよりも小さい。その
理由は、多くのプログラミング言語について、配列の最
初の有効添字が「０」であって「１」ではないからであ
る。

【００８９】図８の「読み出し時配列次元検査サブルー
チン（または簡単に、配列次元検査サブルーチン）」
は、ステップ４１０において、内部記号表７５から配列
の各次元についての、宣言されたサイズの最大値（最大
宣言サイズ）を取得する。もし添字参照が可変の場合、
添字参照の値は読み出し時においては判らず、実行時に
おいて参照が評価されるまでは評価できない。このた
め、配列のある次元についての添字参照が定数かまたは
変数かを定める検査がステップ４２０においてまず行わ
れる。

【００９０】もしステップ４２０において、添字参照が
定数であると判断された場合、ステップ４３０におい
て、コードのラインに現れる定数値がこの次元について
の最大値と比較される。もしステップ４３０において、
定数参照がこの次元についての最大宣言値を超える値か
または負の値である場合、ステップ４３５においてエラ
ーメッセージが生成され、ステップ４４０において、手
順はプロセスから出て、プロセスが終了する。

【００９１】もしステップ４３０において、定数参照が
有効であると判断された場合、手順はステップ４５０に
進みここで、この配列に検査すべき他の次元があるかど
うか、すなわちこの配列が多次元かどうかが判定され
る。

【００９２】もしステップ４５０において、検査すべき
他の次元があると判断された場合、手順はステップ４２
０に戻り、上に述べた方法で他の残りの次元についての
検査が行われる。もしステップ４５０において、検査す
べき他の次元が残っていないと判断された場合、手順は
ステップ３２０（図７）において「読み出し時エラー検
査プロセス」に戻る。

【００９３】もしステップ４２０（図８）において、添
字参照が可変であると判断された場合、ステップ４１０
において内部記号表７５から検索により取り出されたそ
れぞれの次元についての許容最大サイズとともに、「ｄ
ｉｍｃｈｋ」コマンドノードをステップ４２５において
パーズ木に挿入することが好ましい。「ｄｉｍｃｈｋ」
コマンドノードは、次元参照が配列のこの次元について
の有効な領域範囲内にあるかどうかを定めるための評価
が実行時において行われる。

【００９４】「ｄｉｍｃｈｋ」コマンドノードがパーズ
木に挿入されてしまうと、手順はステップ４５０に進み
ここで、この配列に検査すべき他の次元があるかどうか
が上に述べた方法で判断され定められる。配列の次元が
すべて検査されてしまうと、手順はステップ３２０（図
７）において「読み出し時エラー検査プロセス」に戻
る。

【００９５】もし「読み出し時エラー検査プロセス」に
よって評価中の原始コードファイルのラインが、ポイン
タに値を割り当てることがステップ３２０（図７）にお
いて検出された場合、手順はステップ５０５（図９）に
おいて図９および図１０に示す「読み出し時ポインタ検
査表更新サブルーチン」に入り、同サブルーチンが開始
される。

【００９６】ポインタ検査表２００がそれぞれのポイン
タについての新しい情報によって実行時において適切に
更新されるように、ポインタに値が割り当てられる都
度、「読み出し時ポインタ検査表更新サブルーチン」
が、必要なコマンドおよび情報をパーズ木に挿入する。

【００９７】「読み出し時ポインタ検査表更新サブルー
チン」が開始されると、ステップ５０５において、「ｔ
ｂｌｕｐｄ」コマンドノードがパーズ木に挿入される。
「ｔｂｌｕｐｄ」コマンドノードは、実行時において評
価されると、ポインタ検査表２００の更新を開始する。
実行時におけるポインタ検査表更新を行うために、読み
出し時において取得できる追加情報、すなわち、ポイン
タに割り当てられるポインタ式の型の特性が、「ｔｂｌ
ｕｐｄ」コマンドノードに入れられる。

【００９８】そして、ポインタに割り当てられるポイン
タ式が、ステップ５１０において解析され、ステップ５
１５からステップ５６０（図１０）までにおいて、型の
マッチングが得られるまで、いくつもの条件に対して検
査される。

【００９９】ステップ５１５において、ポインタが、識
別特定された変数または関数のアドレスを割り当てられ
ているかどうかを定める検査が行われる。もしステップ
５１５において、ポインタが、識別特定された変数また
は関数のアドレスを割り当てられていると判断された場
合、ステップ５１８において、特定された変数または関
数についての内部記号表７５内の適切なエントリを指示
するポインタが、「ｔｂｌｕｐｄ」コマンドノードに入
れられる。

【０１００】実行時において、内部記号表７５内のこの
エントリが、必要なポインタ情報を得るためにアクセス
される。その後、手順はステップ３３０（図７）におい
て「読み出し時エラー検査プロセス」に戻る。

【０１０１】もしステップ５１５において、ポインタ
が、識別特定された変数または関数のアドレスを割り当
てられていないと判断された場合には、手順はステップ
５２０に進む。

【０１０２】ステップ５２０において、ポインタが、第
２のポインタの内容を割り当てられているかどうかを定
める検査が行われる。もしステップ５２０において、ポ
インタが、第２のポインタの内容を割り当てられている
と判断された場合、手順はステップ５２２に進む。この
場合、実行時において第２のポインタが何を指示する
か、および第２のポインタの有効な領域の範囲はどこか
を読み出し時において判断することは不可能である。

【０１０３】しかし、実行時において、第２のポインタ
のアドレスはインタプリタスタック６０の最上部に位置
する。したがって、ステップ５２２において、「ｒｅａ
ｄｉｎｔｓｔｋ」コマンドが「ｔｂｌｕｐｄ」ノード内
に入れられる。「ｒｅａｄｉｎｔｓｔｋ」コマンドは、
実行時において評価されると、第２のポインタのアドレ
スを、さらに処理するために、インタプリタスタック６
０から検索により取り出させる。その後、手順はステッ
プ３３０（図７）において「読み出し時エラー検査プロ
セス」に戻る。

【０１０４】もしステップ５２０（図９）において、ポ
インタが、第２のポインタの内容を割り当てられていな
いと判断された場合、手順はステップ５２５に進む。

【０１０５】ステップ５２５において、ポインタが、記
号列（ストリング）を割り当てられているかどうかを定
める検査が行われる。もしステップ５２５において、ポ
インタが、ストリングを割り当てられていると判断され
た場合、割当を受けようとするポインタについてポイン
タ検査表２００の適切な横列に配置する必要のある情
報、すなわちストリングのアドレスおよびサイズ、は読
み出し時において既知である。

【０１０６】そして、ステップ５２７において、ストリ
ングのアドレスおよびサイズが「ｔｂｌｕｐｄ」コマン
ドノード内に入れられる。その後、手順はステップ３３
０（図７）において「読み出し時エラー検査プロセス」
に戻る。

【０１０７】もしステップ５２５（図９）において、ポ
インタが、ストリングを割り当てられていないと判断さ
れた場合、手順はステップ５３０に進む。

【０１０８】ステップ５３０において、ポインタが、不
正値を割り当てられているかどうかを定める検査が行わ
れる。もしステップ５３０において、ポインタが、不正
値、すなわち定常的なゼロ、または負の値、を割り当て
られていると判断された場合、ステップ５３２におい
て、「不正」状態の表示が「ｔｂｌｕｐｄ」ノード内に
入れられる。ポインタは不正値を記憶することが許容さ
れるので、エラーメッセージはここでは生成されない。

【０１０９】しかし下でさらに述べるように、もしポイ
ンタが実行時において参照を除去され、しかもなお不正
値を有する場合には、その時点においてエラーメッセー
ジが生成される。ステップ５３２の実行に続いて、手順
はステップ３３０（図７）において「読み出し時エラー
検査プロセス」に戻る。

【０１１０】もしステップ５３０（図９）において、ポ
インタが、不正値を割り当てられていないと判断された
場合、手順はステップ５３５に進む。

【０１１１】ステップ５３５において、ポインタが、構
造体メンバのアドレスを割り当てられているかどうかを
定める検査が行われる。もしステップ５３５において、
ポインタが、構造体メンバのアドレスを割り当てられて
いると判断された場合、構造体メンバのサイズは読み出
し時において既知である。しかし、構造体メンバのアド
レスは、実行時になるまで不明のままであり、実行時に
おいて構造体メンバのアドレスは、インタプリタスタッ
ク６０の最上部に位置する。

【０１１２】そして、ステップ５３７において、構造体
メンバのサイズおよび「ｒｅａｄｉｎｔｓｔｋ」コマン
ドが「ｔｂｌｕｐｄ」ノード内に入れられる。「ｒｅａ
ｄｉｎｔｓｔｋ」コマンドが実行時において評価される
と、構造体メンバのアドレスがインタプリタスタック６
０から検索により取り出される。ステップ５３７の実行
に続いて、手順はステップ３３０（図７）において「読
み出し時エラー検査プロセス」に戻る。

【０１１３】もしステップ５３５（図９）において、ポ
インタが、構造体メンバのアドレスを割り当てられてい
ないと判断された場合、手順はステップ５４０（図１
０）に進む。

【０１１４】ステップ５４０においてポインタが、複合
式、例えばｐ＝＊（ｔｅｓｔ？ｅｘｐ１：ｅｘｐ２）に
よって割り当てられているかどうかを定める検査が行わ
れる。ここに、ｅｘｐ１およびｅｘｐ２はポインタのア
ドレスを評価するポインタ式である。この特殊検査条件
は、「ｉｆ，ｔｈｅｎ，ｅｌｓｅ」ルーチン実現用のこ
の普通のプログラミング手法についてエラー検査を行う
ために実現される。

【０１１５】間接演算子「＊」は、検査条件が真かまた
は偽りかに依ってｅｘｐ１またはｅｘｐ２のいずれかに
ついて行われるので、これら２式のうちのどちらが新し
いポインタの特性を定めるかについては、読み出し時に
おいては未知である。

【０１１６】本発明の好ましい一実施例において、「ｓ
ａｖｐｔｒ」コマンドのような命令が、２個の命令スト
リームの各々に入れられる。実行時において実行される
のは、これら２個のうちの１個だけである。「ｓａｖｐ
ｔｒ」コマンドは、実行された命令に連関するポインタ
についてのポインタ情報をポインタ保存スタック６５に
入れるように評価器３５に命令する。このポインタ情報
は、次に評価器３５からアクセスされる。

【０１１７】ポインタ保存スタック６５から検索により
取り出されたポインタ情報は、ポインタ検査表２００に
入れるため、実行時において評価器３５によって、下に
さらに述べる方法で検索により取り出すことができる。

【０１１８】そして、もしステップ５４０において、ポ
インタが形式「＊（ｔｅｓｔ？ｅｘｐ１：ｅｘｐ２）」
の条件式によって割り当てられていると判断された場合
には、ステップ５４２において、「ｓａｖｐｔｒ」コマ
ンドが生成され、２個の式ｅｘｐ１およびｅｘｐ２に連
関する命令ストリームの各々に入れられる。

【０１１９】これに加えて、「ｒｄｐｔｒｓｔｋ」コマ
ンドのような、第２の命令が「ｔｂｌｕｐｄ」ノードに
入れられる。この第２の命令は、評価されると、評価器
３５をしてポインタ保存スタック６５の内容を検索によ
り取り出させる。ステップ５４２の実行に続いて、手順
はステップ３３０（図７）において「読み出し時エラー
検査プロセス」に戻る。

【０１２０】もしステップ５４０（図１０）において、
ポインタが、このような複合式によって割り当てられて
いないと判断された場合には、手順はステップ５４５に
進む。

【０１２１】ステップ５４５において、ポインタが、翻
訳された関数への１個以上のポインタ引数の送付後すぐ
に暗黙のうちに割り当てられるかどうかを定める検査が
行われる。プログラムが、翻訳された関数を呼び出すと
き、「呼び出し」命令文に規定されるような、呼び出さ
れた関数の引数、すなわち実引数が、宣言された関数内
のそれぞれの自動変数、すなわち形式引数に暗黙のうち
に割り当てられる。

【０１２２】関数が呼び出されると、評価器３５が、呼
び出し関数についてメモリ割付を受けているハードウェ
アスタック６７に、呼び出された関数の引数を押し込
む。その後、呼び出された関数のための新しいスタック
フレームが、評価器３５により、スタックフレームポイ
ンタを更新することによって形成される。なお、呼び出
された関数によって用いられるスタックフレームは、呼
び出し関数のスタックフレームのアドレスとは異なるス
タックアドレスを持つことになる。

【０１２３】形式パラメータについてのポインタ検査表
２００内のエントリは、その関数へ送られた実ポインタ
パラメータ、すなわちポインタ、についてのポインタ検
査表２００内のエントリをコピーすることによって形成
するのが好ましい。すなわち、ポインタである送られた
実パラメータについてのポインタ検査表２００からのポ
インタ情報がポインタ保存スタック６５に入れられるの
が好ましい。

【０１２４】このようにして、評価器３５は、ポインタ
保存スタック６５内に入れられたポインタ情報をコピー
することによって、ポインタである型パラメータについ
て実行時においてポインタ検査表２００内に適切なエン
トリを形成することができる。

【０１２５】そして、もしステップ５４５において、翻
訳された関数へのポインタ引数の送付後すぐに暗黙のう
ちに割り当てられると判断される場合、手順はステップ
５４７に進む。ここで、各ポインタ引数についての関数
呼び出しに先立ち、「ｓａｖｐｔｒ」コマンドがパーズ
木の中に入れられる。

【０１２６】本発明の好ましい実施例において、「ｓａ
ｖｐｔｒ」コマンドは、送られたポインタ引数を受け取
ることになる呼び出された「翻訳された関数」を指示す
るポインタを含む。「翻訳された関数」を指示するポイ
ンタは、ポインタ保存スタック６５内に入れられた情報
の有効性を確実なものにするための識別子の役をする。
これに加えて、「ｒｄｐｔｒｓｔｋ」コマンドが「ｔｂ
ｌｕｐｄ」ノードに挿入される。

【０１２７】「ｓａｖｐｔｒ」コマンドが実行時におい
て次に評価されるとき、ポインタである「送られた実パ
ラメータ」についてのポインタ情報がポインタ保存スタ
ック６５に入れられる。その後、実行時における「ｒｄ
ｐｔｒｓｔｋ」コマンドの評価が、評価器３５をして、
ポインタ保存スタック６５の内容を検索により取り出さ
せる。この内容は、ポインタ検査表２００に入れられ
る。ステップ５４７の実行に続いて、手順はステップ３
３０（図７）において「読み出し時エラー検査プロセ
ス」に戻る。

【０１２８】もしステップ５４５において、翻訳された
関数へのポインタ引数の送付後すぐに暗黙のうちに割り
当てられることがないと判断される場合、手順はステッ
プ５５０に進む。

【０１２９】ステップ５５０において、ポインタが、翻
訳された関数から返された値を割り当てられるかどうか
を定めるテストが行われる。読み出し時において関数か
ら戻されることになる値についての情報は、もしあった
としても少ししかないので、返されたポインタについて
のポインタ情報を実行時においてポインタ保存スタック
６５に押し込む命令がパーズ木に入れられる。

【０１３０】これによって、評価器３５が、返されたポ
インタに連関するポインタ情報を、ポインタ検査表２０
０に入れるために実行時においてポインタ保存スタック
６５から次に検索により取り出すことができる。

【０１３１】そして、もしステップ５５０において、ポ
インタが、翻訳された関数から返された値を割り当てら
れていると判断された場合、ステップ５５２において、
呼び出された関数からの返呼に応答して、返されたポイ
ンタの各々について「ｓａｖｐｔｒ」コマンドが生成さ
れる。これに加えて、「ｒｄｐｔｒｓｔｋ」コマンド
が、「ｔｂｌｕｐｄ」ノードに入れられる。

【０１３２】本発明の好ましい実施例において「ｓａｖ
ｐｔｒ」コマンドは、ポインタ情報を返すポインタであ
る「翻訳された関数」を指示するポインタを含む。この
「翻訳された関数」を指示するポインタは、ポインタ保
存スタック６５内に入れられた情報の有効性を確実なも
のにするための識別子の役をする。その後、手順はステ
ップ３３０（図７）において「読み出し時エラー検査プ
ロセス」に戻る。

【０１３３】「ｓａｖｐｔｒ」コマンドが実行時におい
て次に評価されるとき、関数から戻されるポインタに連
関するポインタ情報がポインタ保存スタック６５に入れ
られる。その後、実行時における「ｒｄｐｔｒｓｔｋ」
コマンドの評価が、評価器３５をして、ポインタ保存ス
タック６５の内容を検索により取り出させる。この内容
は、ポインタ検査表２００に入れられる。

【０１３４】なお、関数がポインタを自動変数に返すこ
とは不適切である。したがって、この場合にはエラーが
発生する。

【０１３５】もしステップ５５０（図１０）において、
ポインタが、翻訳された関数から戻された値を割り当て
られていないと判断された場合、手順はステップ５６０
に進む。

【０１３６】もし手順がステップ５６０に到達した場
合、ポインタに割り当てられているポインタ式は、上に
設定されたテストのうちのどれか１つに基づく特徴付け
ができないことになる。すなわち、読み出し時において
は、割り当てられるポインタについて何も確定せず、し
たがってステップ５６０において、「不明」状態の表示
が「ｔｂｌｕｐｄ」ノードに入れられる。ステップ５６
０の実行に続いて、手順は、ステップ３３０（図７）に
おいて「読み出し時エラー検査プロセス」に戻る。

【０１３７】もし「読み出し時エラー検査プロセス」に
よって評価中の原始コードファイルのラインが、少なく
とも１回のポインタ関連解除を含むことがステップ３３
０（図７）において検出された場合、手順は図１１のス
テップ６１５において、図１１に示す「読み出し時ポイ
ンタ検査サブルーチン」に入り、同サブルーチンが開始
される。関連解除されたポインタの有効性をテストする
ために実行時においてポインタ検査表２００にアクセス
できるように、ポインタが関連解除される都度、「読み
出し時ポインタ検査サブルーチン」が、必要なポインタ
検査コマンドをパーズ木に挿入する。

【０１３８】ステップ６１５において「読み出し時ポイ
ンタ検査サブルーチン」が開始されると、ステップ６１
５において、関連解除されるポインタについて「ｐｔｒ
ｃｈｋ」コマンドノードがパーズ木に挿入される。関連
解除されるポインタの値は、ポインタの値が計算された
後でメモリにアドレスするのにこの計算された値が用い
られる前にはインタプリタスタック６０で最も上部にあ
る項目なので、「ｐｔｒｃｈｋ」コマンドノードは、メ
モリアドレス命令の直前位置に入れられる。

【０１３９】「ｐｔｒｃｈｋ」コマンドノードが実行時
において評価されると、図１８および図１９を参照して
下で説明する「実行時ポインタ検査検査サブルーチン」
が開始され、インタプリタスタック６０から検索により
取り出された値が、それぞれのポインタについて、ポイ
ンタ検査表２００の有効なメモリ境界エントリ２５０
ａ、２５０ｂに示されるようなそのポインタの有効領域
範囲内にあるかどうかが判断される。

【０１４０】ステップ６２０において、評価中のパーズ
木のラインに他のポインタ関連解除があるかどうかを定
めるテストが行われる。もしステップ６２０において、
評価中のパーズ木のラインに他のポインタ関連解除があ
ると判断された場合、手順はステップ６１５に戻り、そ
こでさらに処理が続けられる。ステップ６２０におい
て、評価中のパーズ木のラインにあるポインタ関連解除
のすべてが処理されたと判断された場合、手順はステッ
プ３３５（図７）において「読み出し時エラー検査プロ
セス」に戻る。

【０１４１】ステップ３３５においては、「読み出し時
エラー検査プロセス」によって評価中の原始コードファ
イルのラインが関数への呼び出しを含むかどうかを判断
するテストが行われる。もしステップ３３５において、
評価中の原始コードファイルのラインが関数への呼び出
しを含むと判断された場合、その関数によってアクセス
されるメモリのすべてが、ステップ３３７において識別
特定される。すなわち大域変数のすべておよびその関数
に送られた変数のすべてである。

【０１４２】これに加えて、もしその関数がメモリにア
クセスを有する場合には、メモリ割付アクセスフラグ
が、コンパイルされた関数に対応する内部記号表７５内
のエントリにセットされる。図２１を参照して下に述べ
るように、このメモリ割付アクセスフラグをセットする
動作が、連関する関数が実行時において呼び出される都
度、「初期化ビットベクトル維持サブルーチン」を起動
させる。

【０１４３】もしステップ３３５において、評価中の原
始コードファイルのラインが関数への呼び出しを含まな
いと判断された場合、手順はステップ３４０に進む。

【０１４４】ステップ３４０においては、「呼び出し時
エラー検査プロセス」が、まだ読み出され解析される必
要のあるパーズ木の他のノードがあるかどうかを判断す
るテストを行う。もしステップ３４０において、まだ読
み出され解析される必要のあるパーズ木の他のノードが
あると判断された場合、手順はステップ３００に戻り、
上に述べたように進む。しかし、もしステップ３４０に
おいて、まだ読み出され解析されるべきパーズ木の他の
ノードが残っていないと判断された場合、手順はステッ
プ３５０に進む。

【０１４５】ステップ３５０においては、メモリアクセ
スエラー検出コード挿入器２５によって、修正パーズ木
についてデータ流れ解析が行われる。修正パーズ木に
は、パーズ木に挿入されたエラー検査コマンドおよび追
加情報を含む。データ流れ解析は、パーズ木についての
重複すなわち重合するポインタ検査を削除することによ
って、実行時において行う必要のあるポインタ検査の数
を最小化し、ある読み出し時エラーを検出できるように
する。

【０１４６】適切なデータ流れ解析アルゴリズムの記述
については、Ｗ・ランディおよびＢ・ライダー（Willia
m Landi & Barbara G. Ryder）の論文「ポインタのある
場合およびない場合のエーリアシング：問題分類学」
（Center for Computer Aids for Industrial Producti
vity, Technical Report ＣＡＩＰ−１２５、ラトガー
ズ大学、１９９０年９月２５日）を参照されたい。

【０１４７】また同じく、Ｗ・ランディおよびＢ・ライ
ダー（William Landi & Barbara G.Ryder）の論文「手
続き間相互ポインタエーリアシングについての安全近似
アルゴリズム」（SIGPLAN Notices、１９９２年７月、
２３５〜２４８ページ）を参照されたい。

【０１４８】図２３に示す原始コードファイル例「サン
プル」のデータ流れ解析について下に簡単に述べる。デ
ータ流れ解析は、ポインタが新たな値を割り当てられま
たは関連解除される都度、修正パーズ木を解析し識別特
定する。なお、「ｔｂｌｕｐｄ」コマンドノードは前
に、ポインタ割当の各々についてパーズ木に入れられて
おり、「ｐｔｒｃｈｋ」コマンドノードは前に、ポイン
タが関連解除される都度パーズ木に挿入されている。

【０１４９】図２３に示す原始コードファイル「サンプ
ル」は、構造体「ｗｉｄｇｅｔ」を指示するポインタ
「ｐｔｒ＿ｐａｒｔ」を宣言し、初期化する。データ流
れ解析は、評価中の原始コードファイルに現れる各ポイ
ンタについて流れセットを設定する。この流れセットは
例えば、原始コードファイル「サンプル」の実行時に形
成されたポインタ「ｐｔｒ＿ｐａｒｔ」について図２４
に示すような、流れセットである。

【０１５０】与えられたポインタに対して、その連関す
るポインタが新たな値を割り当てられる都度、新たな流
れセットが設定される。好ましい実施例においては、流
れセットは、その連関するポインタが正規の値を割り当
てられる都度「ＤＥＦ」とマーク付け、すなわち定義さ
れ、その連関するポインタが不正値を割り当てられる都
度「ＤＥＦ ＩＬＬ」とマーク付けされる。同様に、そ
の連関するポインタが関連解除される都度、「ＵＳＥ
Ｄ」（使用済）とマーク付けされる。

【０１５１】図２３に示す原始コードファイル「サンプ
ル」のライン１０からライン５０までは、構造体「ｗｉ
ｄｇｅｔ」を宣言する。ライン６０は構造体「ｗｉｄｇ
ｅｔ」を指示するポインタ「ｐｔｒ＿ｐａｒｔ」を宣言
し、ライン７０は構造体「ｗｉｄｇｅｔ」の始点を指示
するためにこのポインタを初期化、すなわち定義する。
ライン７０のデータ流れ解析によって、図２４に示すこ
のポインタ「ｐｔｒ＿ｐａｒｔ」についての第１の流れ
セットが「ＤＥＦ」とマーク付けされる。このマーク付
けは、このポインタが「非ゼロ」値を割り当てられたこ
とを表す。

【０１５２】構造体「ｗｉｄｇｅｔ」の３個のメンバに
値を割り当てるために、ポインタ「ｐｔｒ＿ｐａｒｔ」
がライン８０からライン１００までの各ラインにおいて
関連解除される。そして、ライン８０からライン１００
までの各ラインのデータ流れ解析によって、図２４にお
ける第１の流れセットが「ＵＳＥＤ」とマーク付けされ
る。このマーク付けは、このポインタが関連解除された
ことを表す。

【０１５３】それからポインタ「ｐｔｒ＿ｐａｒｔ」が
ライン１５０において新たな値を割り当てられ、これに
よって、ポインタ「ｐｔｒ＿ｐａｒｔ」についての新た
な流れセットが設定される。そして、ライン１５０ので
流れ解析によって、図２４に示す第２の流れセットが
「ＤＥＦ ＩＬＬ」とマーク付けされる。このマーク付
けは、このポインタが不正値を割り当てられたことを表
す。

【０１５４】そして、構造体「ｗｉｄｇｅｔ」のメンバ
「ｎｕｍｂｅｒ」に値を割り当てるために、ポインタ
「ｐｔｒ＿ｐａｒｔ」がライン１６０において関連解除
される。また、ライン１６０のデータ流れ解析によっ
て、図２４における流れセットが「ＵＳＥＤ」とマーク
付けされる。このマーク付けは、このポインタが関連解
除されたことを表す。下で説明するように、この第２の
流れセットの解析によって、読み出し時エラーが発生す
る。その理由は、ライン１６０が実行されるときに不正
ポインタが関連解除中だからである。

【０１５５】パーズ木全体について流れセットが設定さ
れると、実行時において行う必要のあるポインタ検査の
数を最小化するために、各流れセットが解析される。定
義によって、与えられたポインタは各流れセットの期間
中同一の値を維持するので、各セットについて、各々の
個別ポインタ検査を受け入れ可能なようにオフセットを
拡張したポインタ検査を１回だけ行えばよい。

【０１５６】例えば、ポインタ「ｐｔｒ＿ｐａｒｔ」に
ついての第１の流れセットには、このポインタの３回の
関連解除が含まれる。すなわち、ポインタはライン７０
において割り当てられた値を記憶している一方、関連解
除は３回行われることになる。通常、データ流れ解析を
行わない場合には、３回の別個のポインタ検査を行う必
要がある。しかし、データ流れ解析によって、パーズ木
における３回の別個のポインタ検査が、３回のポインタ
関連解除の各々の有効性をテストする１回だけのポイン
タ検査に置換される。

【０１５７】本発明の好ましい実施例においては、上記
データ流れ解析の正確さを確実なものにするための「コ
ンパイルされたコード流れ解析ルーチン」が設けられ、
このルーチンにおいては、与えられたポインタについて
の流れセットに、一連のポインタ関連解除とともに、コ
ンパイルされた関数の呼び出しが含まれる。もしこのコ
ンパイルされた関数が、この流れセットに連関するポイ
ンタへのアクセスを有する場合、このコンパイルされた
関数は、翻訳器１５に気付かれずにこのポインタの値を
修正できる。

【０１５８】そして、もしこのコンパイルされた関数が
このポインタへのアクセスを有する場合、実行時におけ
るコンパイルされた関数の実行後に、コンパイルされた
コードの流れ解析ルーチンが、この流れセットに連関す
るポインタ値がコンパイルされた関数の実行中に修正さ
れているかどうかを判断するテストを行うのが好まし
い。

【０１５９】もしコンパイルされた関数がポインタ値を
修正していた場合、このコンパイルされた関数の呼び出
し後流れセットにおいて生じるこれらのポインタ関連解
除についてポインタ検査を追加して再度実行する必要が
ある。もしコンパイルされた関数がポインタ値を修正し
ていない場合、ポインタ検査を追加して行う必要はな
い。

【０１６０】実行時において行うべきポインタ検査の数
を最小化することに加えて、上記のデータ流れ解析によ
って、あるエラーを読み出し時において検出することが
可能となる。すなわち、ステップ３５０におけるデータ
流れ解析の完了後、ステップ３６０において、初期化さ
れていないまたは不正なポインタが関連解除されつつあ
ることをこのデータ流れ解析が表示しているかどうかを
判断するテストが行われる。

【０１６１】初期化されていないポインタを関連解除す
るというメモリエラーは、ポインタが割り当てられる前
に関連解除されることを流れセットが表示する場合、す
なわち流れセットが「ＤＥＦ」とマーク付けされる前に
「ＵＳＥＤ」とマーク付けされる場合に生じる。同様
に、不正なポインタを関連解除するというメモリエラー
は、図２４の第２の流れセットにおけるように、流れセ
ットが「ＤＥＦ ＩＬＬ」とマーク付けされ、次に中間
に来る割当なしに、「ＵＳＥＤ」とマーク付けされる場
合に生じる。

【０１６２】もしステップ３６０において、不正なまた
は初期化されていないポインタが関連解除されていると
判断された場合、ステップ３７０においてエラーメッセ
ージが生成され、その後、手順はステップ３８０におい
てプロセスから出て、プロセスが終了する。

【０１６３】しかし、もしステップ３６０において、不
正なまたは初期化されていないポインタが関連解除され
てはいないと判断された場合、手順はステップ３８０に
おいて「読み出し時エラー検査プロセス」から出て、プ
ロセスが終了する。

【０１６４】図７から図１１までを参照して上に述べた
「読み出し時エラー検査プロセス」および連関するサブ
ルーチンが完了すると、パーズ木の各ラインの解析が終
り、適切なエラー検査コマンドおよび情報のパーズ木へ
の挿入が終る。そして、実行時エラー検査を起動実行す
るために、挿入されたエラー検査コマンドおよび追加情
報が評価されることになる。

【０１６５】［コンパイルされた目的コードのエラー検
査］本発明の別の特徴によれば、実行時において評価器
３５によって実行される、「コンパイルされた目的コー
ド」についての同様なエラー検査を行うことも望まし
い。

【０１６６】本発明の好ましい実施例において、「コン
パイルされた目的コードのエラー検査」は、読み出し時
において「翻訳された原始コード」について行われたエ
ラー検査プロセスをまねるように、連関する「コンパイ
ルされた関数」の実行時における実行の、必要に応じて
前および／または後に、下に述べるように「翻訳された
ラッパ関数」を実行することによって実現される。

【０１６７】好ましくは、すべての「コンパイルされた
ライブラリ関数」について、必要に応じてラッパ関数を
設ける。これに加えて、ラッパ関数は、ポインタ値の監
視および／または評価を要する、ユーザにより定義され
るどの「コンパイルされた関数」、についても本明細書
における教示に基づいて形成することができる。実行時
における、連関する「コンパイルされた関数」の呼び出
し時にラッパ関数が実行される実行方法について図２０
を参照して下に説明する。

【０１６８】評価器３５によってアクセス可能なラッパ
ライブラリ７０を図１に示すように設けるのが好まし
い。ラッパライブラリ７０は、「コンパイルされたコー
ド」の実行中にポインタを関連解除する「コンパイルさ
れた関数」の各々について「実行前ラッパ関数」を維持
することが好ましい。実行前ラッパ関数は、「コンパイ
ルされたコード」の実行中に関連解除されるポインタの
ポインタ検査を、「翻訳された関数」においてポインタ
の関連解除のためにポインタ検査が行われるのと同じ方
法で、起動する必要がある。

【０１６９】「実行前ラッパ関数」は、連関する「コン
パイルされた関数」の実行の直前に実行するのが好まし
い。これによって、ポインタが有効値を指示していなけ
ればそのポインタは関連解除されないということが確実
になる。与えられた関数についての実行前ラッパ関数は
また、配列参照を含む送られた引数について、ここに述
べるように配列次元検査をも行うことが好ましい。

【０１７０】同様に、もし与えられた「コンパイルされ
た関数」へ送られた引数が予め定義された有効範囲を有
する場合、連関する「実行前ラッパ関数」は、この既知
の範囲に対する送られた引数の有効性をテストすること
ができる。

【０１７１】なお、ある「コンパイルされた関数」につ
いては、連関する「実行前ラッパ関数」は、「コンパイ
ルされた関数」の第１の実行時に「コンパイルされた関
数」へ送られたポインタ引数またはその他の情報を記憶
保存する必要がある。一方、同一関数への次の呼び出し
は、前の実行時と同じ情報を用いる必要があることを表
示するコードを送るだけである。

【０１７２】これに加えて、ラッパライブラリ７０は、
「コンパイルされたコード」の実行中にポインタを形成
する「コンパイルされた関数」の各々について、および
呼び出し関数に戻るときに次にポインタに割り当てられ
る値を返す「コンパイルされた関数」の各々について、
「実行後ラッパ関数」を維持することが好ましい。「実
行後ラッパ関数」は、「コンパイルされた関数」が戻る
前に、しかし呼び出し関数が実行を再開する前に、実行
することが好ましい。

【０１７３】もし「コンパイルされた関数」が、実行中
にポインタを形成する場合には、「実行後ラッパ関数」
は、その形成されたポインタについてのポインタ情報を
ポインタ検査表２００に追加する必要があり、この追加
は、ポインタ検査表エントリが「翻訳されたコード」に
よって形成されたポインタについて更新されるのと同一
の方法で行う必要がある。

【０１７４】同様に、もし「コンパイルされた関数」
が、次に呼び出し関数においてポインタに割り当てられ
ることになる値を呼び出し関数に返す場合には、適切な
ポインタ情報をポインタ検査表２００に追加する必要が
ある。この場合、返される値についてのポインタ情報を
ポインタ保存スタック６５に、読み出し時ポインタ検査
表更新サブルーチンがステップ５５２（図１０）におい
て「翻訳された関数」から返される値を取り扱ったのと
同じ方法で入れる必要がある。

【０１７５】この後、ポインタ検査表２００に入れる目
的で、この情報がポインタ保存スタック６５から評価器
３５によって検索により取り出される。

【０１７６】例えば、ポインタには、Ｃプログラミング
言語の関数ライブラリに普通に見出される「ｍａｌｌｏ
ｃ」関数のような、コンパイルされたメモリ割付関数か
ら戻される値が頻繁に割り当てられる。「ｍａｌｌｏ
ｃ」関数についての「実行後ラッパ関数」は、割付され
たメモリ領域の始点アドレスと、始点アドレスおよびサ
イズ情報から導かれるこの領域の有効範囲とをポインタ
保存スタック６５に入れることが好ましい。

【０１７７】このようなふうにして、返された値が呼び
出し関数におけるポインタに割り当てられるとき、ポイ
ンタ検査表２００（図２）における適切な横列が、関連
するポインタ情報データ更新される。始点アドレスがポ
インタエントリ２４０の内容欄に入れられ、有効範囲エ
ントリ２５０には、「実行後ラッパ関数」によって計算
された範囲情報が入れられる。好ましくは、「割付済」
の状態表示を状態エントリ２６０に入れるようにする。

【０１７８】しかし、本発明の好ましい実施例によれ
ば、割付されたメモリスペースを指示するポインタにつ
いて追加ポインタ情報が維持される。図３に示す原始コ
ードファイル例「テストファイル」のライン２００およ
びライン２１０が実行されると、３５バイトのブロック
が割付される結果となり、割付されたブロックの始点ア
ドレスがポインタ「ｐｔｒ＿ａｌｌｏｃ」に割り当てら
れる。

【０１７９】「ｍａｌｌｏｃ」関数から戻ると、ポイン
タ「ｐｔｒ＿ａｌｌｏｃ」に対するポインタ検査表２０
０内の横列が、新たなポインタ情報を反映するように更
新される。ポインタアドレスエントリ２３０とポインタ
内容エントリ２４０には、適切な情報が入れられる。状
態エントリ２６０には、割付されたメモリスペースをポ
インタが指示することを表す表示「割付済」（ＡＬＬＯ
ＣＡＴＥＤ）が入れられる。

【０１８０】この好ましい実施例においては、「ｍａｌ
ｌｏｃ」関数についての「実行後ラッパ関数」もまた、
図６に示すようなメモリ割付構造体２８０を形成する。
図２に示すように、ポインタ「ｐｔｒ＿ａｌｌｏｃ」に
ついての有効下側メモリ境界２５０ａはメモリ割付構造
体２８０を指示するポインタを有する。

【０１８１】メモリ割付構造体２８０は、下側境界部分
２８２、上側境界部分２８４、チェインリスト部分２８
６、初期化ビットベクトル２８８、および状態部分２９
０からなる。メモリ割付の有効上側および下側境界は、
構造体部分２８２および２８４にそれぞれ保存記憶され
る。

【０１８２】チェインリスト部分２８６は、割付された
メモリの連関ブロックを現に指示するすべてのポインタ
のリストからなる。割付されたメモリを指示するポイン
タが他のポインタにコピーされる都度、第２のポインタ
に対するポインタ検査表２００内の状態エントリ２６０
も「割付済」とマーク付けされ、有効下側境界エントリ
２５０ａ内の同じメモリ割付構造体２８０を指示するポ
インタを有する。これに加えて、新たなポインタがチェ
インリスト部分２８６内のリストに追加される。

【０１８３】同様に、もし割付されたメモリを指示する
ポインタが、割付されたメモリの新たなブロックを指示
するように指示について再割当された場合、このポイン
タを新たなメモリ割付についてのチェインリスト部分２
８６に追加する前に、前回のメモリ割付についてのチェ
インリスト２８６内のリストからこのポインタを除去す
ることが好ましい。下でさらに述べるように、本発明の
この特徴により、メモリ漏洩を自動的に検出することが
可能となる。

【０１８４】結果として、メモリ割付構造体２８０のチ
ェインリスト部分２８６に記録されている情報は、連関
する割付されたメモリを現に指示するポインタだけを表
示する。

【０１８５】図６に示すように、メモリ割付構造体２８
０に含まれる初期化ビットベクトル２８８は、割付され
たメモリの各バイト当り１個のビットからなり、連関す
るメモリの各バイトの初期化状態を維持表示する。本発
明の好ましい実施例において、割付されたメモリの領域
内の全バイトが初期化され終ると、初期化ビットベクト
ル２８８は廃棄され、この領域全体の初期化状態を表示
するフラグがセットされる。

【０１８６】下でさらに述べるように、割付されたメモ
リからの読み出しがポインタを用いて行われる都度、割
付されたメモリのそれぞれのバイトが初期化されたこと
を確実にするために、初期化ビットベクトル２８８が評
価される。これに加えて、下でさらに述べるように、
「コンパイルされたコード」または「翻訳されたコー
ド」のいずれかによって割付されたメモリの初期化が検
出された後に初期化ビットベクトル２８８の適切なビッ
トを更新するためのメカニズムが設けられる。

【０１８７】本発明の好ましい実施例においては、「ｍ
ａｌｌｏｃ」関数のようなメモリ割付関数、に連関する
「実行後ラッパ関数」が、大抵のプログラミング実例で
は出会いそうにないような既知の予め定義された値をこ
の関数によって割付されているメモリの４バイト領域、
の各々について事前のマーク付けを行うのが好ましい。
この事前マーク付けされた値によって、メモリ領域の初
期化の検出が可能となる。

【０１８８】プログラミング環境では１６進値「ＦＦＦ
Ａ ５Ａ５Ａ」には次の２つの理由から通常出会わない
ことが判っている。第１の理由は、もしこの値が浮動小
数点値として用いられる場合この値がＩＥＥＥ浮動小数
点基準において「非番号」として定義されるので、浮動
小数点トラップエラーが発生するためである。第２の理
由は、もしプログラマがこの値をポインタとして用いよ
うとする場合、大抵のマシンにセグメンテーションまた
はメモリ欠陥エラーが発生するためである。

【０１８９】すべての動的に割付されたメモリを１６進
値「ＦＦＦＡ ５Ａ５Ａ」で事前マーク付けすることに
加えて、すべての初期化されていない自動変数に連関す
るメモリ位置が実行時において同様にマーク付けされる
こともまた好ましい。なお、これに加えて、すべての初
期化されていない静的変数は、実行時においてリンク装
置４０により「０」にセットされる。

【０１９０】「ｍａｌｌｏｃ」関数のようなメモリ割付
関数に通常連関する動作速度は遅いので、多くのプログ
ラマはしばしば、１個の大きなメモリブロックの割付を
行い、それからその大きなブロックを、必要に応じてよ
り小さい部分に分解し、割付を受けたこれらのより小さ
い部分の各々を少なくとも１個のポインタでアクセス可
能なようにしている。しかし、上に概略説明したポイン
タ検査表更新プロセスによれば、各ポインタの有効領域
範囲は通常、大きなメモリブロック全体としてポインタ
検査表２００に記録されることになる。

【０１９１】すなわち、ポインタ検査表２００は、より
大きなメモリ割付分のうちのより小さな部分だけを指示
するように意図されているポインタについての適切な領
域範囲を表示する必要がある。したがって、より小さい
領域範囲を記録するために、ポインタ検査表２００内の
エントリにアクセスできることが好ましい。

【０１９２】本発明のさらに別の特徴によれば、割付さ
れたメモリの割付解除（ｆｒｅｅライブラリ関数を呼び
出すことによって行われる）も図１２に示す「メモリ割
付解除をモニタするためのサブルーチン」によってモニ
タされる。メモリ割付解除関数が呼び出されるとき、メ
モリ割付解除関数の引数は一般に、割付されたメモリス
ペースを指示するポインタのうちの１個である。

【０１９３】共通するプログラミングエラーの１つは、
ある１個のポインタを用いてメモリを割付解除し、それ
から同じメモリスペースを、その同じメモリスペースを
指示するように前に定義されていた別個のポインタでア
クセスしようと意図する場合である。

【０１９４】連関するコンパイルされたメモリ割付解除
関数がステップ７３７において呼び出され実行される前
に、「メモリ割付解除をモニタするためのサブルーチ
ン」のステップ７０５からステップ７３５までにおいて
「実行後ラッパ関数」が起動されるのが好ましい。「実
行後ラッパ関数」は、解除された（ｆｒｅｅされた）メ
モリにアクセスしようと意図するときに引き続いてエラ
ーが発生するのを防止する。

【０１９５】「メモリ割付解除をモニタするためのサブ
ルーチン」は、メモリ割付解除関数へ送られたポインタ
引数について、ステップ７０５においてポインタ検査表
２００内の横列を最初に探索する。

【０１９６】ステップ７１０において、ポインタが「解
放」（ＦＲＥＥＤ）状態にあることを状態エントリ２６
０が表示しているかどうかを定めるテストが行われる。
もしステップ７１０において、状態が「解放」であると
判断された場合、ステップ７１５においてエラーメッセ
ージが生成される。その理由は、そのポインタによって
指示された割付されたメモリが既に解放されているから
である。その後、手順はステップ７４０においてサブル
ーチンから出て、サブルーチンが終了する。

【０１９７】ステップ７２０において、状態エントリ２
６０が「メモリ割付済」の状態または「不明」の状態か
どうかを定めるテストが、「メモリ割付解除をモニタす
るためのサブルーチン」によって行われる（状態エント
リ２６０（図２）および状態部分２９０（図６）におい
て、「メモリ割付済」の状態および「不明」の状態をそ
れぞれ「割付済」および「不明」とマーク付けする）。

【０１９８】もしステップ７２０において、状態が「メ
モリ割付済」の状態または「不明」の状態のいずれでも
ないと判断された場合、ステップ７２５においてエラー
メッセージが生成される。その理由は、これらの状態だ
けが、割付されたメモリについての有効な状態コードだ
からである。その後、手順はステップ７４０においてサ
ブルーチンから出て、サブルーチンが終了する。

【０１９９】もしステップ７２０において、状態が「メ
モリ割付済」の状態または「不明」の状態であると判断
された場合、「メモリ割付解除をモニタするためのサブ
ルーチン」がステップ７２７において、下側境界エント
リ２５０ａ内でそのポインタによって指示されるメモリ
割付構造体２８０にアクセスし、「解放」の状態を表示
するように状態部分２９０（図６）をセットする。

【０２００】その後、ステップ７３０において、「メモ
リ割付解除をモニタするためのサブルーチン」が、下側
境界エントリ２５０ａ内でそのポインタによって指示さ
れるメモリ割付構造体２８０にアクセスし、割付された
メモリスペースを指示するすべてのポインタのリストを
検索により取り出す。

【０２０１】ステップ７３５において、前のステップに
おいて検索により取り出されたリストに表示される各ポ
インタについて、ポインタ検査表２００の適切な横列が
アクセスされ、状態エントリ２６０が「解放」とマーク
付けされる。

【０２０２】これに加えて、ステップ７３７におけるコ
ンパイルされたメモリ割付解除関数の実行に続いて、ス
テップ７３９において、「実行後ラッパ関数」がリスト
に入れられた各ポインタの実際の内容をゼロ値にセット
するのが好ましい。この場合、もしゼロ値を有するこれ
らのポインタのうちの１個を関連解除する試みがなされ
ると、エラーメッセージが生成される。この後、ステッ
プ７４０において手順はサブルーチンを出て、サブルー
チンが終了する。

【０２０３】なお、翻訳された関数においてローカル変
数について形成されたメモリスペースを静的ポインタが
指示すると、暗黙のメモリ割付解除が生じる。翻訳され
た関数が戻ると、割付されたメモリスペースは、翻訳器
１５によって自動的に割付解除される。

【０２０４】静的ポインタは、関数からの戻りに続い
て、無効メモリスペースを指示するので、静的ポインタ
の値をゼロ値にセットすることが好ましく、また、静的
ポインタについてのポインタ検査表２００内の横列が、
「０」の内容を表示するように更新されるのが好まし
い。これは、静的ポインタにローカル変数のアドレスを
割り当てた「翻訳された関数」から戻ったときに図１２
の「メモリ割付解除をモニタするためのサブルーチン」
を実行することによって実現される。

【０２０５】［実行時エラー検査動作］評価器３５が実
行時において内部疑似コードの各ノードを評価すると、
図１３に示すような、そのノードが、エラー検査ルーチ
ンに関連するコマンドを有するかどうかを定める「実行
時エラー検査プロセス」が実現される。「実行時エラー
検査プロセス」は、図７を参照して上に述べた「読み出
し時エラー検査プロセス」によってパーズ木に挿入され
たあるエラー検査コマンドおよび追加情報に応答して、
内部疑似コードの各ノードを評価し、実行時エラー検査
タスクを実現する。

【０２０６】「実行時エラー検査プロセス」は、図１３
に示すように、評価中のノードが実行時エラー検査ルー
チンに関連する５個のコマンドのうちの１個を有するか
どうかを判断する。もしエラー検査コマンドが検出され
た場合、「実行時エラー検査プロセス」が、図１３に示
すように、適切な応答を起動する。

【０２０７】ステップ８００において手順が「実行時エ
ラー検査プロセス」に入り、ここで内部疑似コードの各
ノードが評価された後、もしステップ８１０において
「ｄｉｍｃｈｋ」コマンドが存在することが検出される
と、図１４を参照して下に述べる「実行時配列次元検査
サブルーチン」が実行される。

【０２０８】「実行時配列次元検査サブルーチン」は、
実行時において配列が、不正な添字を参照として付けら
れているかどうかを定める。ステップ９１０（図１４）
において、変数配列添字が、実行時条件に基づいて計算
される。その後、ステップ９２０において、計算された
添字参照が負数かまたは有効最大次元を超えているかど
うかを定めるテストが行われる。なお、有効最大次元
は、読み出し時において計算され、「ｄｉｍｃｈｋ」コ
マンドに入れられたものである。

【０２０９】もしステップ９２０において、計算された
添字参照が不正値であると判断された場合、ステップ９
２４において、有効最大次元が「１」であるかどうかを
定めるテストが行われる。

【０２１０】もしステップ９２４において、有効最大次
元が「１」であると判断された場合、本明細書に開示さ
れているポインタ検査手段がステップ９２８において用
いられて、構造体が全体として有効範囲内にあるかどう
かが定められる。単一要素を有する配列で構造体宣言を
終り次いで実行時における配列の長さを選択するという
共通のプログラミング手法が、このステップ９２４にお
いて行われるテストによって可能になる。なお、構造体
が割付されるときには、配列の追加構成部分に対して追
加のメモリスペースが割付される。

【０２１１】もしステップ９２４において、有効最大次
元が「１」ではないと判断された場合、エラーは、この
共通プログラミング手法の結果ではない。そして、ステ
ップ９３０においてエラーメッセージが生成される。ス
テップ９３０の実行後、またはもしステップ９２０にお
いて、計算された添字参照が正規の値であると判断され
た場合、手順はステップ８００（図１３）において「実
行時エラー検査プロセス」に戻る。

【０２１２】ステップ８２０において、評価中の内部疑
似コードのノードが「ｓａｖｐｔｒ」コマンドを有する
かどうかを定めるテストが、「実行時エラー検査プロセ
ス」によって行われる。上に述べたように、「ｓａｖｐ
ｔｒ」コマンドが「翻訳された原始コード」に挿入され
ている。したがって、実行時において評価されると、各
「ｓａｖｐｔｒ」コマンドによって、ポインタ検査表２
００内の適切な横列に含まれるポインタ情報がポインタ
保存スタック６５にコピーさせられる。

【０２１３】もしステップ８２０において、ノードが
「ｓａｖｐｔｒ」コマンドを有すると判断された場合、
ステップ８２５において評価器３５が、コピーされてい
るポインタのアドレスをインタプリタスタック６０の最
上部から検索により取り出す。その後、評価器３５が、
インタプリタスタック６０から検索により取り出された
アドレスを用いてポインタ検査表２００の適切な横列を
探索し、ポインタ情報をポインタ検査表２００の横列か
らポインタ保存スタック６５にコピーする。

【０２１４】これに加えて、もし、上に述べたように、
「ｓａｖｐｔｒ」コマンドが関数を指示するポインタを
有する場合、この、関数を指示するポインタはポインタ
保存スタック６５にも入れられる。

【０２１５】上に述べたように、ポインタ情報は、図１
７に示し下に説明するような「実行時ポインタ検査表更
新サブルーチン」のステップ１０６０からステップ１０
８０までにおいてポインタ検査表２００に入れるため
に、評価器３５によってポインタ保存スタック６５から
次に検索により取り出される。ステップ８２５の実行
後、手順はステップ８００に戻り、上記のように進む。

【０２１６】実行時エラー検査プロセスによって評価中
の内部疑似コードのノードが「ｔｂｌｕｐｄ」コマンド
を有することがステップ８３０（図１３）において検出
された場合、手順はステップ１００２において、図１５
から図１７までに示す「実行時ポインタ検査表更新サブ
ルーチン」に入る。

【０２１７】ステップ１００２（図１５）において、
「ｔｂｌｕｐｄ」コマンドのノードに含まれる特徴情報
が評価され、それからステップ１００４からステップ１
０９０（図１７）までにおいて、型のマッチングが得ら
れるまで、いくつもの条件に対して検査される。なお、
割り当てられるポインタのアドレスは、実行時において
インタプリタスタック６０から得られる。割り当てられ
るポインタについてのポインタ情報で更新する必要のあ
るポインタ検査表２００内の適切な横列を探索特定する
のにポインタのアドレスが用いられる。

【０２１８】ステップ１００４において、識別特定され
た変数または関数のアドレスがポインタに割り当てられ
る内部記号表７５内のエントリ、を指示するポインタが
ノードに含まれるかどうか、を定めるテストが行われ
る。

【０２１９】もしステップ１００４において、内部記号
表７５内のエントリを指示するポインタがノードに含ま
れると判断された場合、そのポインタは、識別特定され
た変数または関数のアドレスおよび、もし利用可能な
ら、識別特定された変数または関数のサイズを検索によ
り取り出すために、ステップ１００６において内部記号
表７５の適切なエントリにアクセスするのに用いられ
る。

【０２２０】ステップ１００８において、内部記号表７
５内でサイズ情報が利用可能だったかどうかを定めるテ
ストが行われる。もしステップ１００８において、内部
記号表７５内でサイズ情報が利用可能ではなかったと判
断された場合、ステップ１０１０において、状態フラグ
が「不明」（ＵＮＫＮＯＷＮ）にセットされる。

【０２２１】もしステップ１００８において、内部記号
表７５内でサイズ情報が利用可能だったと判断された場
合、ステップ１０１４において、そのポインタが関数ま
たは変数を指示しているかどうかを定めるテストが行わ
れる。

【０２２２】もしステップ１０１４においてポインタが
関数を指示していると判断された場合、ステップ１０１
６において、状態フラグが「関数指示」（ＰＦＵＮＣ）
にセットされる。この場合、関数は始点からしか初期化
されないので、関数を指示するポインタについての有効
領域範囲はその関数の始点だけとなる。したがって、ス
テップ１０１７において有効領域範囲が、ステップ１０
０６において内部記号表から検索により取り出された始
点アドレスにセットされる。

【０２２３】もしステップ１０１４においてポインタが
変数を指示していると判断された場合、ステップ１０１
８において、状態フラグが「境界あり」にセットされ
る。ステップ１０１９において、ポインタについての有
効領域範囲が、内部記号表７５から検索により取り出さ
れたアドレスおよびサイズ情報を用いて計算される。

【０２２４】ステップ１０２０において、ステップ１０
０６からステップ１０１９までの実行時に割り当てられ
るポインタについて定義された情報が、割り当てられる
ポインタについて設定されたポインタ検査表２００の適
切な横列に追加される。その後、手順はステップ８００
（図１３）において「実行時エラー検査プロセス」に戻
る。

【０２２５】もしステップ１００４（図１５）におい
て、内部記号表７５内のエントリを指示するポインタが
ノードに含まれないと判断された場合、手順はステップ
１０２２に進む。

【０２２６】ステップ１０２２においては、ノードが
「ｒｅａｄｉｎｔｓｔｋ」コマンドだけを含むかどうか
を定めるテストが行われる。このコマンドは、もしポイ
ンタが第２のポインタの内容を割り当てられる場合に
は、読み出し時においてパーズ木に入れられる。

【０２２７】もしステップ１０２２において、ノードが
「ｒｅａｄｉｎｔｓｔｋ」コマンドだけを含むと判断さ
れた場合は、コピーされる第２のポインタのアドレスを
検索により取り出すために、評価器３５がインタプリタ
スタック６０にアクセスするのが好ましい。その後、ス
テップ１０２６において、評価器３５が、ステップ１０
２４においてインタプリタスタック６０から検索により
取り出されたアドレスを用いて第２のポインタに対する
ポインタ検査表２００内の横列を探索する。

【０２２８】それから、第２のポインタについてポイン
タ検査表２００から検索により取り出された情報が、割
り当てられるポインタに対する横列にコピーされる。そ
の後、手順はステップ８００（図１３）において「実行
時エラー検査プロセス」に戻る。

【０２２９】もしステップ１０２２（図１５）におい
て、ノードが「ｒｅａｄｉｎｔｓｔｋ」コマンドを含ま
ないと判断された場合、手順はステップ１０３０（図１
６）へ進む。

【０２３０】ステップ１０３０においては、ノードが、
ポインタに割り当てられる文字列のアドレスおよびサイ
ズを含むかどうかを定めるテストが行われる。もしステ
ップ１０３０においてノードが、ポインタに割り当てら
れる文字列のアドレスおよびサイズを含むと判断された
場合には、ステップ１０３２において評価器３５が、ア
ドレスおよびサイズ情報に基づいてポインタについての
有効な領域範囲を計算する。

【０２３１】ステップ１０３４において状態フラグを
「境界あり」にセットした後、割り当てられるポインタ
に対してステップ１０３２およびステップ１０３４の実
行中に定義された情報が、ステップ１０３６において、
割り当てられるポインタについてのポインタ検査表２０
０の適切な横列に入れられる。その後、手順はステップ
８００（図１３）において「実行時エラー検査プロセ
ス」に戻る。

【０２３２】もしステップ１０３０においてノードが、
ポインタに割り当てられる文字列のアドレスおよびサイ
ズを含まないと判断された場合、手順はステップ１０３
８に進む。

【０２３３】ステップ１０３８において、ポインタが不
正な値を割り当てられことからノードが「不正」（ＩＬ
ＬＥＧＡＬ）の状態表示を含むかどうかを定めるための
テストが行われる。

【０２３４】もしステップ１０３８において、ノードが
「不正」の状態表示を含むと判断された場合、ステップ
１０４０において状態フラグが「不正」にセットされ
る。そして、ポインタについて定義された情報がステッ
プ１０４２において、ポインタ検査表２００の適切な横
列に追加される。その後、手順はステップ８００（図１
３）において「実行時エラー検査プロセス」に戻る。

【０２３５】もしステップ１０３８において、ノードが
「不正」の状態表示を含まないと判断された場合、手順
はステップ１０４４に進む。

【０２３６】ステップ１０４４においては、ノードが
「ｒｅａｄｉｎｔｓｔｋ」コマンドを構造体メンバのサ
イズとともに含むかどうかを定めるテストが行われる。
もしステップ１０４４において、ノードが「ｒｅａｄｉ
ｎｔｓｔｋ」コマンドを構造体メンバのサイズとともに
含むと判断された場合、ステップ１０４６において評価
器３５が、割り当てられる構造体メンバのアドレスを検
索により取り出す。

【０２３７】なお、「ｒｅａｄｉｎｔｓｔｋ」コマンド
は、翻訳された原始コードに、読み出し時中に位置を占
めており、その位置占めは、構造体メンバのアドレスが
インタプリタスタック６０の最上部にある時点にこのコ
マンドが評価されることが可能となるような仕方でなさ
れる。

【０２３８】ステップ１０４８において評価器３５が、
サイズ情報および検索により取り出されたアドレス情報
に基づいて、ポインタについての有効領域範囲を計算
し、それからステップ１０５０において、状態フラグを
「境界あり」にセットする。ステップ１０５２におい
て、割り当てられるポインタについて定義された情報が
ポインタ検査表２００の適切な横列に追加される。その
後、手順はステップ８００（図１３）において「実行時
エラー検査プロセス」に戻る。

【０２３９】もしステップ１０４４において、ノードが
「ｒｅａｄｉｎｔｓｔｋ」コマンドを構造体メンバのサ
イズとともに含まないと判断された場合、手順はステッ
プ１０６０（図１７）に進む。

【０２４０】ステップ１０６０においては、ノードが
「ｒｄｐｔｒｓｔｋ」コマンドを含むかどうかを定める
テストが行われる。もしステップ１０６０において、ノ
ードが「ｒｄｐｔｒｓｔｋ」コマンドを含むと判断され
た場合、ステップ１０６４において評価器３５が、ポイ
ンタ保存スタック６５の内容を検索により取り出す。

【０２４１】上に述べたように、「ｒｄｐｔｒｓｔｋ」
コマンドが検出されたときには、連関する「ｓａｖｐｔ
ｒ」コマンドがステップ８２５（図１３）において既に
評価されており、これによってポインタ検査表２００を
更新するために必要な適切なポインタ情報がポインタ保
存スタック６５に入れられた。

【０２４２】ステップ１０６６においては、ポインタ保
存スタックが、関数を指示するポインタを含むかどうか
を定めるテストが行われる。このテストは、エラー検査
タスクを翻訳された原始コードとコンパイルされたライ
ブラリ関数とから構成されるソフトウェアプログラム上
でも稼動可能にするために実現される。

【０２４３】なお、もしポインタ保存スタック６５が、
呼び出された関数へポインタ情報を送るために（ステッ
プ５４５およびステップ５４７）、または呼び出された
関数からポインタ情報を返すために（ステップ５５０お
よびステップ５５２）用いられる場合には、関数を指示
するポインタは、読み出し時において「ｓａｖｐｔｒ」
コマンドに含まれる。

【０２４４】関数を指示するポインタは、呼び出された
関数へポインタ情報を送る場合はにポインタ保存スタッ
ク６５からポインタ情報を受け取るべき関数を識別特定
し、または、呼び出し側関数へポインタ情報を返す場合
にはポインタ保存スタック６５にポインタ情報を入れた
関数を識別特定する。

【０２４５】もしステップ１０６６において、ポインタ
保存スタックが、関数を指示するポインタを含まないと
判断された場合、ポインタ保存スタック６５におけるポ
インタ情報の有効性をテストする必要はなく、手順は下
に述べるステップ１０８０に進む。

【０２４６】もしステップ１０６６において、ポインタ
保存スタックが、関数を指示するポインタを含むと判断
された場合には、関数を指示するポインタの有効性をテ
ストする必要がある。すなわちステップ１０６８におい
て、ポインタ保存スタック６５が、呼び出された関数へ
ポインタ情報を送るために用いられているかまたは呼び
出された関数からポインタ情報を返すために用いられて
いるかを定めるためのテストが行われる。

【０２４７】もしステップ１０６８において、ポインタ
保存スタック６５が、呼び出された関数へポインタ情報
を送るために用いられていると判断された場合、送られ
たポインタ情報が、呼び出された関数によって検索によ
り取り出せるように呼び出し側関数によってポインタ保
存スタック６５に入れられたことを確認するために、ス
テップ１０７０において、検索により取り出された関数
指示ポインタが、現に実行中の関数のアドレスに等しい
かどうかがを定めるテストが行われる。

【０２４８】もしステップ１０７０において、検索によ
り取り出された関数指示ポインタが、現に実行中の関数
のアドレスに等しくないと判断された場合、ポインタ保
存スタック６５からのポインタ情報は、ポインタ検査表
２００に入れるべきではない。そして手順はステップ８
００（図１３）において、「実行時エラー検査プロセ
ス」に戻る。

【０２４９】もしステップ１０７０において、検索によ
り取り出された関数指示ポインタが、現に実行中の関数
のアドレスに等しいと判断された場合、ポインタ保存ス
タック６５からのポインタ情報は、ステップ１０８０に
おいてポインタ検査表２００に入れるべきである。その
後、手順はステップ８００（図１３）において「実行時
エラー検査プロセス」に戻る。

【０２５０】もしステップ１０６８において、ポインタ
保存スタック６５が、呼び出し側関数へポインタ情報を
返すために用いられていると判断された場合、ポインタ
情報が、呼び出し側関数によって検索して取り出せるよ
うに呼び出された関数によってポインタ保存スタック６
５に入れられたことを確認するために、ステップ１０７
４において、検索により取り出された関数指示ポインタ
が、今実行を完了したばかりの関数のアドレス、すなわ
ち呼び出された関数のアドレスに等しいかどうかがを定
めるテストが行われる。

【０２５１】もしステップ１０７４において、検索によ
り取り出された関数指示ポインタが、今実行を完了した
ばかりの関数のアドレスに等しくないと判断された場
合、ポインタ保存スタック６５からのポインタ情報は、
ポインタ検査表２００に入れるべきではない。そして手
順はステップ８００（図１３）において、「実行時エラ
ー検査プロセス」に戻る。

【０２５２】もしステップ１０７４において、検索によ
り取り出された関数指示ポインタが、今実行を完了した
ばかりの関数のアドレスに等しいと判断された場合、ポ
インタ保存スタック６５からのポインタ情報は、ステッ
プ１０８０においてポインタ検査表２００に入れるべき
である。その後、手順はステップ８００（図１３）にお
いて「実行時エラー検査プロセス」に戻る。

【０２５３】ステップ１０８０においてポインタ検査表
２００が、ステップ１０６４においてポインタ保存スタ
ック６５から検索により取り出されたポインタ情報を用
いて更新される。その後、手順はステップ８００（図１
３）において「実行時エラー検査プロセス」に戻る。

【０２５４】もしステップ１０６０において、ノードが
「ｒｄｐｔｒｓｔｋ」コマンドを含まないと判断された
場合、手順はステップ１０９０に進む。

【０２５５】ステップ１０９０においては、ノードが
「不明」の状態表示を含むかどうかを定めるテストが行
われる。もしステップ１０９０において、ノードが「不
明」の状態表示を含むと判断された場合、ステップ１０
９２において評価器３５が、状態フラグを「不明」にセ
ットし、それから、割り当てられるポインタについて定
義された情報がステップ１０９４において、ポインタ検
査表２００の適切な横列に追加される。

【０２５６】その後、手順はステップ８００（図１３）
において「実行時エラー検査プロセス」に戻る。

【０２５７】もしステップ１０９０（図１７）におい
て、ノードが「不明」の状態表示を含まないと判断され
た場合、手順はステップ１０９６に進む。

【０２５８】もし手順がステップ１０９６に到達した場
合、「ｔｂｌｕｐｄ」ノードは、上に設定されたテスト
のうちのどれに基づく特徴付けもできないことになる。
したがって、ステップ１０９６においてエラーメッセー
ジが生成され、その後、手順はステップ１０９８におい
て「実行時ポインタ検査表更新サブルーチン」から出
て、サブルーチンが終了する。

【０２５９】実行時エラー検査プロセスによって評価中
の内部疑似コードのノードが「ｐｔｒｃｈｋ」コマンド
を有することがステップ８４０（図１３）において検出
された場合、手順はステップ１１０４において、図１８
および図１９に示す「実行時ポインタ検査サブルーチ
ン」に入る。上に述べたように、「実行時ポインタ検査
サブルーチン」は、関連解除される各ポインタの有効性
のテストを行う。

【０２６０】ステップ１１０４において、検査されるポ
インタのアドレスを検索により取り出すために評価器３
５が、インタプリタスタック６０にアクセスする。上に
述べたように、「ｐｔｒｃｈｋ」コマンドは、実行時に
おいて評価されているとき、検査されているポインタの
アドレスがインタプリタスタック６０の最上部に来るよ
うな仕方で、パーズ木の中に位置させる。

【０２６１】ステップ１１０８において評価器３５が、
ステップ１１０４においてインタプリタスタック６０か
ら検索により取り出されたポインタアドレスを利用し
て、検査されているポインタに対するポインタ検査表２
００内の横列を探索する。

【０２６２】ステップ１１１２において、検査されてい
るポインタに対するポインタ検査表２００内の状態エン
トリ２６０が「ＰＦＵＮＦ」にセットされているかどう
かを定めるためのテストが行われる。もしステップ１１
１２において、状態エントリ２６０が「関数指示」にセ
ットされていると判断された場合、ステップ１１１６に
おいて関数のアドレスが内部記号表７５から検索により
取り出される。

【０２６３】ステップ１１２０においてポインタ検査表
２００内のポインタ内容エントリ２４０が、内部記号表
７５から検索により取り出されたアドレスによって書き
直される。このルーチンは、翻訳器１５にロードされた
最新版の関数が実行されることを確実にするために実現
される。その後、手順はステップ１１２４に進む。

【０２６４】ステップ１１２４において、ポインタ検査
表２００内のポインタ内容エントリ２４０に記録されて
いる値が、ポインタの実際の内容に等しいかどうかを定
めるためのテストが行われるのが好ましい。この好まし
い実施例においては、評価器３５が知らずに、「コンパ
イルされたコード」によって行われたポインタ修正を検
出するために、上記ラッパ関数実現例に追補されるメカ
ニズムが設けられる。評価器３５が前の修正を知らなか
ったので、ポインタ検査表２００は適切な更新が行われ
なかった。

【０２６５】もしステップ１１２４において、これらの
値が等しくないと判断された場合、このポインタについ
て前に検出されなかった修正が発生していることにな
る。この修正は「コンパイルされたコード」によって有
効正当に行われたものと仮定する。

【０２６６】そして、ステップ１１２８において、検査
されるポインタについて状態フラグが「不明」にセット
され、それ以上の追加検査は行われない。このようにし
て、「コンパイルされたコード」による有効なポインタ
修正についての誤った警告が防止される。その後、手順
はステップ８００（図１３）において「実行時エラー検
査プロセス」に戻る。

【０２６７】もしステップ１１２４において、記録され
ている内容がポインタの実際の内容に等しいと判断され
た場合、手順はステップ１１３２に進む。

【０２６８】ステップ１１３２において、検査されるポ
インタについてポインタ検査表２００内の状態エントリ
２６０が「不正」とセットされているかどうかを定める
ためのテストが行われる。もしステップ１１３２におい
て、状態が「不正」とセットされていると判断された場
合、一定ゼロ値または負数のポインタが関連解除される
というエラーが今発生していることになる。その結果、
手順は、図２２を参照して下に述べる診断サブルーチン
に進む。

【０２６９】もしステップ１１３２において、状態が
「不正」とセットされていないと判断された場合、手順
はステップ１１４０（図１９）に進む。

【０２７０】ステップ１１４０（図１９）においては、
検査されるポインタについてポインタ検査表２００内の
状態エントリ２６０が「解放」とセットされているかど
うかを定めるためのテストが行われる。

【０２７１】もしステップ１１４０において、状態が
「解放」にセットされていると判断された場合には、割
付を解除されていたメモリがアクセスされているという
不適切な状態、すなわち解放メモリアクセスエラーが発
生していることになる。その結果、手順は、図２２を参
照して下に述べる診断サブルーチンに進む。

【０２７２】もしステップ１１４０において、状態が
「解放」にセットされていないと判断された場合には、
手順はステップ１１４８に進む。

【０２７３】ステップ１１４８において、検査されるポ
インタについてポインタ検査表２００内の状態エントリ
２６０が「境界あり」とセットされているかどうかを定
めるためのテストが行われる。

【０２７４】もしステップ１１４８において、状態が
「境界あり」にセットされていると判断された場合に
は、ステップ１１５２において、検査されているポイン
タの実際の内容が、検査されているポインタについての
ポインタ検査表２００の有効メモリ境界エントリ２５０
ａ、２５０ｂに定められるような有効領域範囲内にある
かどうかを定めるためのテストが行われる。

【０２７５】もしステップ１１５２において、検査され
ているポインタの、検索により取り出されたポインタ値
が、有効領域範囲内にあると判断された場合、手順はス
テップ８００（図１３）において「実行時エラー検査プ
ロセス」に戻る。

【０２７６】しかし、もしステップ１１５２において、
検索により取り出されたポインタ値が有効領域範囲内に
ないと判断された場合には、メモリアクセスエラーが発
生している。その結果、手順は、図２２を参照して下に
述べる診断サブルーチンに進む。

【０２７７】もしステップ１１４８において、状態が
「境界あり」にセットされていないと判断された場合に
は、手順はステップ１１６０に進む。

【０２７８】ステップ１１６０においては、検査される
ポインタについてポインタ検査表２００内の状態エント
リ２６０が「割付済」にセットされているかどうかを定
めるためのテストが行われる。

【０２７９】もしステップ１１６０において、状態が
「割付済」にセットされていると判断された場合には、
ステップ１１６２において、ポインタの内容が、図６に
示す連関するメモリ割付構造体２８０の下側および上側
境界エントリ２８２、２８４によって定義されるような
割付されたメモリの有効な領域範囲の中にあるかどうか
を定めるためのテストが行われる。

【０２８０】もしステップ１１６２において、ポインタ
の内容が、割付されたメモリについての有効な領域範囲
の中にないと判断された場合には、メモリアクセスエラ
ーが発生している。その結果、手順は、図２２を参照し
て下に述べる診断サブルーチンに進む。

【０２８１】もしステップ１１６２において、ポインタ
の内容が、割付されたメモリについての有効な領域範囲
の中にあると判断された場合には、ステップ１１６４に
おいて、ポインタが、割付されたメモリに対して読み出
しまたは書き込みを行うために関連解除されるかどうか
を定めるためのテストが行われる。

【０２８２】もしステップ１１６４において、ポインタ
が、割付されたメモリに対して書き込みを行うために関
連解除されると判断された場合、上に述べた初期化ビッ
トベクトル２８８の適切なビットが、ステップ１１６８
において、割付されたメモリのうちの対応するバイトの
新たな初期化状態を表示するように更新される。その
後、手順はステップ８００（図１３）において「実行時
エラー検査プロセス」に戻る。

【０２８３】もしステップ１１６４において、ポインタ
が、割付されたメモリに対して読み出しを行うために関
連解除されると判断された場合、ステップ１１７２にお
いて、割付されたメモリのうちの対応するバイトが初期
化されているかどうかを定めるために、初期化ビットベ
クトル２８８の適切なビットがアクセスされる。

【０２８４】ステップ１１７４において、読み出しが行
われる割付されたバイトが初期化されているかどうかを
定めるためのテストが行われる。もしステップ１１７４
において、これらのバイトが初期化されていないと判断
された場合には、メモリアクセスエラーが発生してい
る。その結果、手順は、図２２を参照して下に述べる診
断サブルーチンに進む。

【０２８５】もしステップ１１７４において、これらの
バイトが初期化されていると判断された場合には、手順
はステップ８００（図１３）において「実行時エラー検
査プロセス」に戻る。

【０２８６】もしステップ１１６０において、状態が
「割付済」にセットされていないと判断された場合に
は、手順はステップ１１７６に進む。もし手順がステッ
プ１１７６に到達した場合、状態エントリ２６０（図
２）に記録されている情報は、上に設定されたテストの
うちのどれに基づく特徴付けもできないことになる。し
たがって、ステップ１１７６においてエラーメッセージ
が生成され、その後、手順は「実行時ポインタ検査サブ
ルーチン」から出て、サブルーチンが終了する。

【０２８７】実行時エラー検査プロセスによって評価中
の内部疑似コードのノードが、「コンパイルされた関
数」についての「ｃａｌｌ」（呼び出し）コマンドを有
することがステップ８５０（図１３）において検出され
た場合、手順はステップ１２０２において、図２０に示
す「「コンパイルされた関数」エラー検査プロセス」に
入る。

【０２８８】もし呼び出された「コンパイルされた関
数」が下にさらに述べるように割付されたメモリ領域へ
のアクセスを有する場合に、「「コンパイルされた関
数」エラー検査プロセス」によって、与えられた「コン
パイルされた関数」に連関する「ラッパ関数」を起動す
るためおよび図２１に示す初期化ビットベクトル維持サ
ブルーチンを起動するためのメカニズムが得られる。

【０２８９】ステップ１２０２において、呼び出された
「コンパイルされた関数」が、連関する「実行前ラッパ
関数」を有するかどうかを定めるためのテストが、
「「コンパイルされた関数」エラー検査プロセス」によ
って行われる。

【０２９０】もしステップ１２０２において、呼び出さ
れた「コンパイルされた関数」が、連関する「実行前ラ
ッパ関数」を有すると判断された場合、上に述べたよう
な、必要なポインタ検査およびその他の関数を行うため
に、ステップ１２０４において、「実行前ラッパ関数」
が実行される。「実行前ラッパ関数」は、連関する「コ
ンパイルされた目的コード関数」と同じ引数を送られ
る。その後、手順はステップ１２０５に進む。

【０２９１】もしステップ１２０２において、呼び出さ
れた「コンパイルされた関数」が、連関する「実行前ラ
ッパ関数」を有しないと判断された場合、手順はステッ
プ１２０５に進む。

【０２９２】ステップ１２０５においては、割付アクセ
スフラグが、呼び出された「コンパイルされた関数」に
対応する内部記号表７５内のエントリにセットされてい
るかどうかを定めるためのテストが行われる。割付アク
セスフラグは、もしこの関数が割付されたメモリのどれ
かにアクセスを有する場合にステップ３３７において読
み出し時にセットされた。

【０２９３】もしステップ１２０５において、割付アク
セスフラグがセットされていると判断された場合、ステ
ップ１２０７において、図２１に示す「初期化ビットベ
クトル維持サブルーチン」が実行される。手順がステッ
プ１２１０においてこのサブルーチンに入ることで開始
されるこの「初期化ビットベクトル維持サブルーチン」
によって、翻訳器１５によっては通常に検出されない割
付されたメモリの初期化の「コンパイルされた関数」に
よる検出のためのメカニズムが得られる。

【０２９４】なお、割付されたメモリの「翻訳された関
数」による初期化は、図１９に示す「実行時ポインタ検
査サブルーチン」のステップ１１６４およびステップ１
１６８の実行時に検出される。このようにして、初期化
ビットベクトル２８８は、初期化が「コンパイルされた
関数」または「翻訳された関数」のいずれによって行わ
れたかに関係なく、割付されたメモリ領域の各対応する
バイトの初期化状態を適切に記録する。

【０２９５】上に述べたように、本発明の好ましい実施
例においては、メモリ初期化の検出を容易にするため
に、初期化されていない自動変数および割付されたメモ
リ領域がすべて、例えば「ＦＦＦＡ ５Ａ５Ａ」のよう
な既知の４バイトの１６進語」によって事前マーク付け
される。

【０２９６】ステップ１２１０（２１図）において「コ
ンパイルされた関数」が呼び出された時点に、初期化さ
れていない対応するバイトのすべてを識別特定するため
に、評価器３５が、「コンパイルされた関数」によって
アクセスされる割付されたバイトに対応する初期化ビッ
トベクトル２８８（図６）の各ビットの解析を行う。

【０２９７】それから、「コンパイルされたコード」に
よってアクセスされる初期化されていない対応するバイ
トのすべてを識別特定するために、ステップ１２２０に
おいて評価器３５が、巡回冗長テスト（ＣＲＣテスト）
を行う。ステップ１２２５において、「コンパイルされ
た関数」が適切な引数で呼び出され、実行される。

【０２９８】「コンパイルされたコード」の実行に続い
て、手順はステップ１２３０に進み、ここで、「コンパ
イルされたコード」の実行前には「コンパイルされたコ
ード」がアクセスでき初期化されていなかったバイトの
すべてに対して第２のＣＲＣテストが行われる。

【０２９９】次にステップ１２３５において、ＣＲＣテ
ストによってバイトの値が変化したものがあるかどう
か、ステップ１２２０において行われたＣＲＣテストの
結果が、ステップ１２３０において行われたＣＲＣテス
トの結果に等しいかどうか、を定めるためのテストが行
われる。もしステップ１２３５において、これら２つの
ＣＲＣテスト値が等しくないと判断された場合には、手
順はステップ１２４０に進む。

【０３００】ステップ１２４０においては、割付された
メモリのブロック全体を「初期化済」とマーク付けすべ
きかどうか、または初期化されたブロック内のバイトだ
けを「初期化済」とマーク付けすべきかについて定める
ために、ユーザによって定義されたフラグ（ユーザ定義
フラグ）が解析される。ユーザ定義フラグは、各ソフト
ウェアデバッグ処理プロセスの開始時にユーザによって
セットされるのが好ましい。

【０３０１】このユーザ定義フラグによって、ユーザ
は、「コンパイルされた関数」がメモリを既知の事前マ
ークされた１６進値で初期化する結果、すなわちメモリ
を１６進値「ＦＦＦＡ ５Ａ５Ａ」で初期化する結果か
ら来る誤ったエラー発生警告を防止することが可能とな
る。

【０３０２】次にステップ１２４５において、割付され
たメモリのブロック全体を、初期化状態（ただ１個のバ
イトしか「コンパイルされたコード」によって初期化さ
れなかったような初期化状態も含む）としてマーク付け
すべきことを表すようにユーザ定義フラグがセットされ
ているかどうか、または代わりに、初期化されていると
判断されたバイトだけを初期化状態としてマーク付けす
べきであると指定されているかどうか、を定めるための
テストが行われる。

【０３０３】もしステップ１２４５において、ユーザ
が、割付されたメモリブロック全体を初期化状態として
マーク付けすべきことを指定している、と判断された場
合には、ステップ１２５０において、初期化ビットベク
トル２８８内の各ビットが、初期化状態を表すように更
新される。

【０３０４】もしステップ１２４５において、ユーザ
が、実際に初期化されているバイトだけを初期化状態と
してマーク付けすべきことを指定している、と判断され
た場合には、手順はステップ１２５５に進む。

【０３０５】このステップ１２５５においては、割付さ
れたメモリ領域において「ＦＦＦＡ５Ａ５Ａ」以外の内
容を有する４バイトブロックの各々、すなわちもはや既
知の事前マーク値を持たないバイト、が識別特定され
る。その後、ステップ１２５８において、初期化ビット
ベクトル２８８内の対応するビットが、初期化状態を表
すように更新される。

【０３０６】代わりの実施例においては、「コンパイル
された関数」がアクセスする初期化されていないメモリ
のすべてのバイトが、ステップ１２２５における「コン
パイルされたコード」の実行に先立ってセーブ（保存）
される。

【０３０７】この場合、もしステップ１２３５におい
て、「コンパイルされたコード」が割付されたメモリを
初期化していると判断されたならば、ステップ１２５５
において、初期化されておらず且つアクセス可能なバイ
トの内容を「コンパイルされた目的コード」の実行に先
立って記憶セーブされた値と比較することによって、初
期化されたバイトが識別特定される。この実施例におい
ては、割付されたメモリ領域を既知の値、すなわち１６
進値「ＦＦＦＡ ５Ａ５Ａ」で事前マーク付けする必要
はない。

【０３０８】ステップ１２５０またはステップ１２５８
の実行後、またはもしステップ１２３５において、「コ
ンパイルされたコード」が、割付されたメモリのどのバ
イトも初期化していないと判断された場合、手順はステ
ップ１２６５（図２０）において「「コンパイルされた
関数」エラー検査プロセス」に戻る。

【０３０９】もしステップ１２０５（図２０）におい
て、割付アクセスフラグがセットされていないと判断さ
れた場合、呼び出された「コンパイルされた関数」は、
どの割付されたメモリにもアクセスできない。また「初
期化ビットベクトル維持サブルーチン」を実行する必要
がない。

【０３１０】したがって、もしフラグがセットされてい
ない場合には、「コンパイルされた目的コード」が適切
な引数で呼び出され、実行される。「コンパイルされた
目的コード」が実行された後、手順はステップ１２６５
（図２０）において「「コンパイルされた関数」エラー
検査プロセス」に戻る。

【０３１１】ステップ１２６５においては、呼び出され
た「コンパイルされた関数」が連関する「実行後ラッパ
関数」を有するかどうかを定めるためのテストが、
「「コンパイルされた関数」エラー検査プロセス」によ
って行われる。

【０３１２】もしステップ１２６５において、呼び出さ
れた「コンパイルされた関数」が連関する「実行後ラッ
パ関数」を有すると判断された場合、ステップ１２７０
において、「実行後ラッパ関数」が、その連関する「コ
ンパイルされた目的コード関数」によって返された値で
実行される。

【０３１３】「実行後ラッパ関数」は、返されたまたは
形成されたポインタについて必要なポインタ検査表更新
タスク、および上に述べたようなその他必要なタスクを
行う。その後、手順はステップ８００（図１３）におい
て「実行時エラー検査プロセス」に戻る。

【０３１４】もし図１８および図１９に示す「実行時ポ
インタ検査サブルーチン」の実行中にエラーが検出され
た場合、すなわちステップ１１３２、１１４０、１１５
２、１１６２、または１１７４のテスト条件が不成功だ
った場合、手順は、図２２に示す診断サブルーチンに進
む。

【０３１５】手順がステップ１３１０において「診断サ
ブルーチン」に入ると、エラーメッセージが生成され
る。このエラーメッセージは、診断情報、すなわちメモ
リアクセスエラーの種類、およびポインタ検査表２００
のファイル／ライン番号エントリ２７０から取り出され
た、ポインタに最後に修正が行われたライン番号、から
なる。

【０３１６】その後、プログラマは、検出されたエラー
を訂正するためにステップ１３２０において、上に述べ
たように読み出し期間の手段にアクセスできる。プログ
ラマによるエラー訂正が終ると、手順はステップ８００
（図１３）において「実行時エラー検査プロセス」に戻
る。

【０３１７】［メモリ漏洩の特定および検出されていな
いポインタ修正のソースの特定］本発明の別の特徴によ
れば、メモリ漏洩、すなわち割付されたがもはやアクセ
ス不可能なメモリスペースが、自動的に、またはユーザ
がメモリ漏洩検出アルゴリズムを起動することによっ
て、検出される。

【０３１８】メモリ漏洩は一般に、割付されたメモリの
第１のブロックを指示するポインタが、第１のブロック
についての割付解除なしに、割付されたメモリの第２の
ブロックを指示するように再度割り当てられるときに生
じる。周知のように、メモリ漏洩は全体の動作性能の漸
増的な劣化をもたらす。

【０３１９】上に述べたように、「メモリ割付関数」に
よるメモリブロックの割付がされると、連関するメモリ
割付構造体２８０（図６）がその連関する「実行後ラッ
パ関数」によって形成されることが好ましい。メモリ割
付構造体２８０は、上に述べたような、割付されたメモ
リに関するある情報（例えば割付されたメモリのの中の
連関するブロックを現に指示するすべてのポインタのチ
ェインリスト部分２８６内のリスト）を記録する。

【０３２０】上に述べたように、新たなポインタが、割
付されたメモリを指示するように割り当てられる都度、
その新たなポインタはチェインリストに追加される。同
様に、割付されたメモリの第１のブロックを前に指示し
たポインタが、割付されたメモリの第２のブロックを指
示するように再割当される都度、第２のブロックに連関
するチェインリストに追加される前に、第１のブロック
に連関するチェインリストから除去されることが好まし
い。

【０３２１】したがって、メモリ割付構造体２８０のチ
ェインリスト部分２８６に記録されている情報は、割り
付けられたメモリのうちの連関するブロックを現に指示
するポインタだけを表示する。そして、もしチェインリ
スト部分２８６の内容が空である場合には、割り付けら
れたメモリを指示するポインタで、割り付けられたメモ
リにアクセスするために用いられるようなポインタは存
在しない。すなわち、メモリ漏洩が発生しているわけ
で、エラーメッセージを生成する必要がある。

【０３２２】上に述べたように、ポインタが、「コンパ
イルされたコード」によって、評価器３５に知られず
に、修正される場合を検出するための、ステップ１１２
４およびステップ１１２８における追補のメカニズム
が、図１８および図１９に示す「実行時ポインタ検査サ
ブルーチン」によって得られる。

【０３２３】評価器３５が、「コンパイルされたコー
ド」によって行われた前の修正を知らなかったので、ポ
インタ検査表２００はこの修正の時点で適切な更新が行
われなかった。通補のメカニズムは、検査されるポイン
タについての状態フラグを「不明」状態にセットし、そ
れ以上のポインタ追加検査は行わない。

【０３２４】このルーチンは「コンパイルされたコー
ド」による有効なポインタ修正についての誤った警告を
防止はするが、修正値がポインタ検査表２００に入れら
れるように、「コンパイルされたコード」による各修正
を検出する方が好ましい。

【０３２５】したがって、「不明」の状態表示を有する
すべてのポインタを識別特定するために、ポインタ検査
表２００の各横列の状態エントリ２６０をユーザがサー
チできるようなメカニズムが好ましい。

【０３２６】「不明」の表示を有する各ポインタについ
て、それぞれのポインタを識別特定する診断メッセージ
が、ファイル／ライン番号エントリ２７０からの情報と
ともに生成される。ライン番号情報は、ポインタが最後
に更新された時点を表示する。このことから、プログラ
マは診断情報を用いて、翻訳器が知らなくても、ポイン
タ値を修正した「コンパイルされたコード」を特定する
ことが可能となる。

【０３２７】その後、上に述べたような方法で、「コン
パイルされたコード」に対する「実行後ラッパ関数」が
書かれ、これによって、「不明」状態がさらに発生する
のを防止するために、「コンパイルされた関数」の実行
に続いて新たなポインタ情報がポインタ検査表２００に
追加される。

【０３２８】プログラム開発中にプログラマは、ＣＩＮ
リセットコマンドのようなリセットコマンドを起動する
ことによって翻訳器１５を頻繁にリセットすることを望
んでいる。周知のように、このコマンドは翻訳器１５
に、読み出しプロセスの終了時に元あった状態と同じ状
態に戻るように命令する。実際上、このことは、すべて
のデータがその当初の値に再初期化され、「ＢＳＳ」デ
ータが「０」に割り当てられる結果となる。

【０３２９】ポインタ検査表２００は、ＣＩＮリセット
コマンド実行終了時に、読み出しプロセスの終了時にポ
インタ検査表２００があった状態と同じ状態に戻ること
が好ましい。したがって、ポインタ検査表２００を再初
期化し、それから、上に述べたように、すなわち他の静
的データを指示するように初期化された静的ポインタお
よび主関数に送られた「ａｒｇｖ」ポインタ引数につい
て、内部疑似コードの実行に先立ってポインタ検査表２
００にプレロードされた初期化条件を再ロードする必要
がある。

【０３３０】以上の説明は、本発明の一実施例に関する
もので、この技術分野の当業者であれば、本発明の種々
の変形例を考え得るが、それらはいずれも本発明の技術
的範囲に包含される。

【０３３１】

【発明の効果】以上述べたごとく、本発明によれば、
「翻訳された原始コード」と「コンパイルされた目的コ
ード」との両方を実行しながらエラー検出タスクを行う
ことのできるソフトウェアテストおよびデバッグ処理ツ
ールが得られる。また、本発明によれば、与えられたポ
インタによって指示されたメモリがそれぞれのポインタ
についての適切な境界範囲内にあることを確実にするソ
フトウェアテストおよびデバッグ処理が可能となる。

【０３３２】さらに、読み出し時またはパーズ時に導出
される情報を利用することにより、実行時に行われる互
いに重複するポインタ検査の数を減少させて、より効率
的なソフトウェアテストおよびデバッグ処理を行うこと
ができる。

【図面の簡単な説明】

【図１】本発明に基づくメモリアクセスエラー検出シス
テムを示す概略ブロック図である。

【図２】図３の原始コードファイルの例に宣言されてい
る各ポインタについての現ポインタ情報を維持するポイ
ンタ検査表である。

【図３】図２のポインタ検査表に列記されるポインタを
宣言し初期化する原始コードファイルの例を示す説明図
である。

【図４】図３の原始コードファイルのライン１０からラ
イン６０までの実行後の、いくつかのポインタと、それ
らのポインタによって指示されるそれぞれのメモリスペ
ースとの間の関係を示す説明図である。

【図５】図３の原始コードファイルのライン７０からラ
イン１００までの実行後の、いくつかのポインタと、そ
れらのポインタによって指示されるそれぞれのメモリス
ペースとの間の関係を示す説明図である。

【図６】図３の原始コードファイルのライン２００から
ライン２１０までの実行後の、ポインタ「ｐｔｒ＿ａｌ
ｌｏｃ」と、このポインタによって指示される割付され
たメモリブロックとの間の関係、およびこの割付された
メモリブロックについての追加情報を維持する連関メモ
リ割付構造体を示す説明図である。

【図７】パーズ木（構文木）を解析する際にメモリエラ
ー検出コード挿入器によって用いられるような読み出し
時エラー検査プロセスの例を示す流れ図である。

【図８】図７のエラー検査プロセスによって用いられる
ような読み出し時配列次元検査サブルーチンの例を示す
流れ図である。

【図９】図７のエラー検査プロセスによって用いられる
ような読み出し時ポインタ表更新サブルーチンの例を、
図１０と一体で示す流れ図である。

【図１０】図７のエラー検査プロセスによって用いられ
るような読み出し時ポインタ表更新サブルーチンの例
を、図９と一体で示す流れ図である。

【図１１】図７のエラー検査プロセスによって用いられ
るような読み出し時ポインタ検査サブルーチンの例を、
図９と一体で示す流れ図である。

【図１２】コンパイルされたメモリ割付解除関数を実行
しながら評価器が用いるようなメモリ割付解除モニタ処
理サブルーチンの例を示す流れ図である。

【図１３】実行時において内部疑似コードのノードを解
析しながら評価器によって用いられるような実行時エラ
ー検査プロセスの例を示す流れ図である。

【図１４】図１３のエラー検査プロセスによって用いら
れるような実行時配列次元検査サブルーチンの例を示す
流れ図である。

【図１５】図１３のエラー検査プロセスによって用いら
れるような実行時ポインタ表更新サブルーチンの例を、
図１６および図１７と一体で示す流れ図である。

【図１６】図１３のエラー検査プロセスによって用いら
れるような実行時ポインタ表更新サブルーチンの例を、
図１５および図１７と一体で示す流れ図である。

【図１７】図１３のエラー検査プロセスによって用いら
れるような実行時ポインタ表更新サブルーチンの例を、
図１５および図１６と一体で示す流れ図である。

【図１８】図１３のエラー検査プロセスによって用いら
れるような実行時ポインタ検査サブルーチンの例を、図
１９と一体で示す流れ図である。

【図１９】図１３のエラー検査プロセスによって用いら
れるような実行時ポインタ検査サブルーチンの例を、図
１８と一体で示す流れ図である。

【図２０】図１３のエラー検査プロセスによって用いら
れるような「「コンパイルされた関数」エラー検査プロ
セス」の例を示す流れ図である。

【図２１】図２０の「「コンパイルされた関数」エラー
検査プロセス」によって用いられるような初期化ビット
ベクトル維持サブルーチンの例を示す流れ図である。

【図２２】図１８および図１９の実行時ポインタ検査サ
ブルーチンによって用いられるような診断サブルーチン
の例を示す流れ図である。

【図２３】ポインタ「ｐｔｒ＿ｐａｒｔ」を宣言し初期
化する原始コードファイルの例を示す説明図である。

【図２４】図２３に示す原始コードファイルのデータ流
れ解析中に設定される流れセット例を示す説明図であ
る。

【符号の説明】

１５ 翻訳器（インタプリタ） ２０ パーザ（構文解析器） ２５ メモリアクセスエラー検出コード挿入器 ３０ 木／スタックコード変換器 ３５ 評価器 ４０ リンク装置 ４５ プリンタ ６０ インタプリタスタック ６５ ポインタ保存スタック ６７ ハードウェアスタック ７０ ラッパライブラリ ７４ キャッシュメモリ ７５ 内部記号表 ２００ ポインタ検査表 ２２０、２２２、２２４ 横列 ２３０ ポインタアドレスエントリ ２４０ ポインタ内容エントリ ２５０ａ、２５０ｂ 有効メモリ境界エントリ ２６０ 状態エントリ ２７０ ファイル／ライン番号エントリ ２８０ メモリ割付構造体 ２８２ 下側境界部分 ２８４ 上側境界部分 ２８６ チェインリスト部分 ２８８ 初期化ビットベクトル ２９０ 状態部分

───────────────────────────────────────────────────── フロントページの続き (72)発明者 サディアス ジュリアス コワルスキー アメリカ合衆国、07901 ニュージャージ ー、サミット、ストーンリッジ ロード 73 (72)発明者 ジェームズ アール．ローランド アメリカ合衆国、07078 ニュージャージ ー、ショート ヒルズ、サッカレー ドラ イブ 18

Claims (28)

【特許請求の範囲】
1. 【請求項１】 テストされるソースコードファイルおよ
   びそのソースコードファイルによって呼び出される１個
   以上のライブラリ関数からなり、メモリ位置を指示する
   １個以上のポインタを含み、ソフトウェア生成システム
   によって実行されるソフトウェアプログラムが、無効な
   ポインタをデレファレンスするというエラーを検出する
   方法において、 前記ポインタのそれぞれについて、最後に既知となった
   ポインタの内容と、ポインタの有効メモリ範囲とを含む
   ポインタ情報を格納するステップと、 前記ソフトウェアプログラムによって前記ポインタのう
   ちの１個以上のポインタに新しい値が代入されることを
   前記ソフトウェア生成システムが検出するたびごとに前
   記ポインタ情報を更新するステップと、 前記ソフトウェアプログラムによってポインタのデレフ
   ァレンスが行われることを前記ソフトウェア生成システ
   ムが検出するたびごとに実行時ポインタ検査サブルーチ
   ンを実装するステップとからなる方法であって、この実
   行時ポインタ検査サブルーチンが、 デレファレンスされたポインタに関するポインタ情報を
   検索する検索ステップと、 そのデレファレンスされたポインタが格納されているメ
   モリ位置からそのポインタの実際の内容を取得するステ
   ップと、 その実際の内容が、前記ポインタ情報に記録されている
   当該デレファレンスされたポインタの最後に既知となっ
   た内容と等しい場合に限り、その実際の内容によって指
   示されているメモリ空間が、ポインタ情報から取得され
   る有効メモリ範囲内にあるかどうかを判定するテストを
   行うテストステップとからなることを特徴とする、ソフ
   トウェアプログラムのエラー検出方法。
2. 【請求項２】 ポインタを作成することが既知であるラ
   イブラリ関数の実行後に、そのライブラリ関数によって
   作成されるポインタに対するポインタ情報を格納するス
   テップを実行する実行後ラッパ関数を実行するステップ
   をさらに有することを特徴とする請求項１の方法。
3. 【請求項３】 前記ソースコード内のポインタに代入す
   るためのポインタ値を返値として返すことが既知である
   ライブラリ関数の実行後に、前記ソースコード内の当該
   ポインタへのその返値の代入を検出したときのポインタ
   情報を更新するステップの前に、前記ソフトウェア生成
   システムが後で使うためにその返されたポインタに関す
   る更新されたポインタ情報をポインタ保存スタックに格
   納するステップを実行する実行後ラッパ関数を実行する
   ステップをさらに有することを特徴とする請求項１の方
   法。
4. 【請求項４】 ポインタをデレファレンスすることが既
   知であるライブラリ関数を実行する前に、前記実行時ポ
   インタ検査サブルーチンを開始する実行前ラッパ関数を
   実行するステップをさらに有することを特徴とする請求
   項１の方法。
5. 【請求項５】 制限された範囲を有する１個以上の引数
   を受け取るライブラリ関数を実行する前に、その受け取
   った引数がその制限された範囲内にあるかどうかをテス
   トする実行前ラッパ関数を実行するステップをさらに有
   することを特徴とする請求項１の方法。
6. 【請求項６】 前記ポインタ情報がポインタのステータ
   ス表示をさらに含み、 前記テストステップで、前記デレファレンスされたポイ
   ンタの実際の内容が前記デレファレンスされたポインタ
   の最後に既知となった内容と等しくない場合に前記ソフ
   トウェア生成システムによって検出されなかったライブ
   ラリ関数の実行中の代入によって前記デレファレンスさ
   れたポインタの値が変更されたことを示すように、前記
   デレファレンスされたポインタに関するポインタ情報内
   のステータス表示を設定するステップをさらに有するこ
   とを特徴とする請求項１の方法。
7. 【請求項７】 前記ソフトウェアプログラムの実行後に
   前記ソフトウェア生成システムによって検出されなかっ
   たライブラリ関数の実行中の代入によって前記デレファ
   レンスされたポインタの値が変更されたことを示してい
   るステータスを有するポインタを識別するステップと、 ライブラリ関数によるポインタの変更を検出する実行後
   ラッパ関数が必要であることをプログラマに示すステッ
   プとをさらに有することを特徴とする請求項６の方法。
8. 【請求項８】 前記ポインタ情報がポインタのアドレス
   をさらに含み、 前記検索ステップが、前記デレファレンスされたポイン
   タに関するポインタ情報を識別するためにそのポインタ
   情報に含まれるポインタアドレスを検索するステップを
   さらに有することを特徴とする請求項１の方法。
9. 【請求項９】 前記方法が、前記ソースコードに対応す
   る構文木に対して読み出し時エラー検査プロセスを実行
   するステップをさらに有し、その読み出し時エラー検査
   プロセスが、 前記ソースコード内に現れるポインタ代入ごとに、ポイ
   ンタテーブル更新コマンドと、ポインタに代入されるポ
   インタ式を特徴づける特徴情報とを、前記構文木に挿入
   する読み出し時ポインタテーブル更新サブルーチンを実
   行するステップと、 前記ソースコードに現れるポインタのデレファレンスご
   とに、前記構文木にポインタ検査コマンドを挿入する読
   み出し時ポインタ検査サブルーチンを実行するステップ
   とからなることを特徴とする請求項１の方法。
10. 【請求項１０】 前記構文木に対してデータフロー解析
    を実行するステップをさらに有することを特徴とする請
    求項９の方法。
11. 【請求項１１】 前記データフロー解析の結果を利用し
    て、前記構文木から、重複するポインタ検査コマンドを
    除去することを特徴とする請求項１０の方法。
12. 【請求項１２】 前記データフロー解析の結果を利用し
    て、不正なポインタのデレファレンスを実行時に検出す
    ることを特徴とする請求項１０の方法。
13. 【請求項１３】 前記データフロー解析の結果を利用し
    て、未初期化ポインタのデレファレンスを実行時に検出
    することを特徴とする請求項１０の方法。
14. 【請求項１４】 前記構文木を内部擬似コードに変換す
    るステップをさらに有することを特徴とする請求項９の
    方法。
15. 【請求項１５】 前記方法が、前記内部擬似コードに対
    して実行時エラー検査プロセスを実行するステップをさ
    らに有し、この実行時エラー検査プロセスが、 読み出し時にポインタ代入ごとに前記構文木に挿入され
    たポインタテーブル更新コマンドおよび特徴情報を評価
    したときに、前記ポインタ情報を格納するステップおよ
    び更新するステップを実行する、実行時ポインタテーブ
    ル更新サブルーチンを実行するステップと、 読み出し時にポインタのデレファレンスごとに前記構文
    木に挿入されたポインタ検査コマンドを評価したとき
    に、前記実行時ポインタ検査サブルーチンを実行するス
    テップとからなることを特徴とする請求項１４の方法。
16. 【請求項１６】 テストされるソースコードファイルお
    よびそのソースコードファイルによって呼び出される１
    個以上のライブラリ関数からなり、メモリ位置を指示す
    る１個以上のポインタを含み、ソフトウェア生成システ
    ムによって実行されるソフトウェアプログラムが、割当
    てメモリ領域を解放した後にその領域を指示するポイン
    タをデレファレンスすることによりその領域にアクセス
    するというエラーを検出する方法において、 前記割当てメモリ領域を指示するポインタのチェインリ
    ストを含む、前記割当てメモリ領域に関する割当て情報
    を格納するステップと、 前記ソフトウェアプログラム内のポインタが前記割当て
    メモリ領域を指示している場合に、前記割当て情報への
    相互参照を含む、ポインタに関するポインタ情報を格納
    するステップと、 前記ソフトウェアプログラムによって前記ポインタのう
    ちの１個以上のポインタに新しい値が代入されることを
    前記ソフトウェア生成システムが検出するたびごとに前
    記ポインタ情報を更新するステップと、 前記チェインリストを変更するようなポインタ代入が検
    出されるごとに、前記チェインリストを更新するステッ
    プと、 前記割当てメモリ領域の解放を前記ソフトウェア生成シ
    ステムが検出した場合に、対応する割当て情報からチェ
    インリストを取得するステップと、 当該チェインリスト内にリストされた各ポインタに関す
    るポインタ情報内に、そのポインタは解放したメモリ空
    間を指示しているという表示を記録するステップと、 ポインタがデレファレンスされるごとに対応するポイン
    タ情報を評価して、そのポインタが解放されたメモリ空
    間を指示しているという表示があるのにもかかわらずデ
    レファレンスされているのかどうかを判定するステップ
    とからなることを特徴とする、ソフトウェアのエラー検
    出方法。
17. 【請求項１７】 テストされるソースコードファイルお
    よびそのソースコードファイルによって呼び出される１
    個以上のライブラリ関数からなり、メモリ位置を指示す
    る１個以上のポインタを含み、ソフトウェア生成システ
    ムによって実行されるソフトウェアプログラムが、メモ
    リ領域の未初期化部分を指示するポインタをデレファレ
    ンスすることによりその未初期化部分を読み出すという
    エラーを検出する方法において、 メモリの各バイトに対する初期化ステータスを含む、前
    記メモリ領域に関する割当て情報を格納するステップ
    と、 前記ソフトウェアプログラム内のポインタが前記メモリ
    領域を指示している場合に、前記割当て情報への相互参
    照を含む、ポインタに関するポインタ情報を格納するス
    テップと、 前記ソフトウェアプログラムによって前記ポインタのう
    ちの１個以上のポインタに新しい値が代入されることを
    前記ソフトウェア生成システムが検出するたびごとに前
    記ポインタ情報を更新するステップと、 前記ソースコードファイルがポインタをデレファレンス
    することによってメモリのバイトにアクセスしてそのバ
    イトを初期化することを前記ソフトウェア生成システム
    が検出するたびごとに前記初期化ステータスを更新する
    ステップと、 ライブラリ関数によって前記メモリ領域の１個以上のバ
    イトが初期化されることを検出して、そのような初期化
    が検出された場合に前記初期化ステータスを更新する初
    期化ビットベクタ保守サブルーチンを実行するステップ
    と、 ポインタがデレファレンスされて前記メモリ領域の１個
    以上のバイトが読み出されるたびごとに前記割当て情報
    内の初期化ステータスを評価して、読み出されるすべて
    のバイトが初期化されているかどうかを判定するステッ
    プとからなることを特徴とする、ソフトウェアのエラー
    検出方法。
18. 【請求項１８】 テストされるソースコードファイルお
    よびそのソースコードファイルによって呼び出される１
    個以上のライブラリ関数からなり、割当てメモリ領域を
    指示する可能性のある１個以上のポインタを含み、ソフ
    トウェア生成システムによって実行されるソフトウェア
    プログラムが、割当てメモリをリークするというエラー
    を検出する方法において、 前記割当てメモリ領域を指示するポインタのチェインリ
    ストを含む、前記割当てメモリ領域に関する割当て情報
    を格納するステップと、 前記ソフトウェアプログラム内のポインタが前記割当て
    メモリ領域を指示している場合に、前記割当て情報への
    相互参照を含む、ポインタに関するポインタ情報を格納
    するステップと、 前記ソフトウェアプログラムによって前記ポインタのう
    ちの１個以上のポインタに新しい値が代入されることを
    前記ソフトウェア生成システムが検出するたびごとに前
    記ポインタ情報を更新するステップと、 前記チェインリストを変更するようなポインタ代入が検
    出されるごとに、前記チェインリストを更新するステッ
    プと、 チェインリストが空である場合にメモリリークであると
    識別するステップとからなることを特徴とする、ソフト
    ウェアのエラー検出方法。
19. 【請求項１９】 ソフトウェア生成システムによって実
    行されるソフトウェアプログラムによって呼び出される
    関数に渡されるポインタであって前記呼び出される関数
    内の形式引数に代入される実引数に関連し前記ソフトウ
    ェアプログラムおよび前記呼び出される関数内のポイン
    タごとに前記ソフトウェア生成システムによってポイン
    タ検査テーブルに保持されるポインタ情報を前記ソフト
    ウェアプログラムから前記呼び出される関数に渡す方法
    において、 前記実引数に関連する渡されるポインタ情報の一時的格
    納用にメモリ位置を割り当てるステップと、 前記ポインタ検査テーブルから、前記実引数に関連する
    ポインタ情報を取得するステップと、 取得したポインタ情報を、前記ソフトウェアプログラム
    によって前記呼び出される関数が呼び出されたときに前
    記一時的格納用メモリ位置に格納するステップと、 前記呼び出される関数の開始とともに、前記一時的格納
    用メモリ位置から前記ポインタ情報を取得するステップ
    と、 前記呼び出される関数内の形式ポインタ引数に関連する
    ポインタ検査テーブル内のエントリに、取得したポイン
    タ情報を挿入するステップとからなることを特徴とす
    る、ソフトウェアプログラムから呼び出される関数にポ
    インタ情報を渡す方法。
20. 【請求項２０】 ソフトウェア生成システムによって実
    行されるソフトウェアプログラムによって呼び出された
    関数からそのソフトウェアプログラムに返されるポイン
    タ値に関連し前記ソフトウェアプログラムおよび前記呼
    び出された関数内のポインタごとに前記ソフトウェア生
    成システムによってポインタ検査テーブルに保持される
    ポインタ情報を返す方法において、 前記呼び出された関数によって返されるポインタ情報に
    関連するポインタ情報の一時的格納用にメモリ位置を割
    り当てるステップと、 前記ポインタ検査テーブルから、前記呼び出された関数
    から返されるポインタ値に関連するポインタ情報を取得
    するステップと、 取得したポインタ情報を、前記呼び出された関数から前
    記ソフトウェアプログラムに復帰したときに前記一時的
    格納用メモリ位置に格納するステップと、 前記呼び出された関数への復帰後に、前記一時的格納用
    メモリ位置から前記ポインタ情報を取得するステップ
    と、 前記ソフトウェアプログラムの後続の実行中に、前記返
    されたポインタ値が代入されたポインタに関連するポイ
    ンタ検査テーブル内のエントリに、取得したポインタ情
    報を挿入するステップとからなることを特徴とする、呼
    び出された関数からソフトウェアプログラムにポインタ
    情報を返す方法。
21. 【請求項２１】 メモリ位置を指示する１個以上のポイ
    ンタを含むソフトウェアプログラム内の各ポインタに関
    するポインタ情報を保持するソフトウェア生成システム
    によって実行されるソフトウェアプログラム内の、それ
    ぞれポインタ式を有する複数の命令ストリームを含みそ
    れらの命令ストリームのうちの１つのみが実行時にソフ
    トウェア生成システムによって実行されその結果が実行
    時にデレファレンスされる複合式に対して、ポインタ検
    査を実行する方法において、 ポインタ情報の一時的格納用メモリ位置を割り当てるス
    テップと、 前記ソフトウェア生成システムが、実行される命令スト
    リーム内のポインタに関するポインタ情報を取得し、取
    得したポインタ情報を前記一時的格納用メモリ位置に挿
    入するというコマンドを各命令ストリームに挿入するス
    テップと、 実行時に前記複合式のポインタがデレファレンスされた
    ときに前記一時的格納用メモリ位置からポインタ情報を
    取得するステップとからなることを特徴とするポインタ
    検査方法。
22. 【請求項２２】 メモリ位置を指示する１個以上のポイ
    ンタを含み、各ポインタの有効メモリ範囲の情報を含む
    各ポインタに関するポインタ情報を保持するソフトウェ
    ア生成システムによって実行されるライブラリ関数が、
    無効なポインタをデレファレンスするというエラーを検
    出する方法において、 前記ライブラリ関数によってデレファレンスされる各ポ
    インタに関するポインタ情報を取得し、デレファレンス
    されるポインタの実際の内容によって指示されるメモリ
    空間がポインタ情報から取得した有効メモリ範囲内にあ
    るかどうかを判定するラッパ関数を前記ライブラリ関数
    と関係づけるステップと、 前記ライブラリ関数を実行する前に前記ラッパ関数を実
    行するステップとからなることを特徴とする、ソフトウ
    ェアプログラムのエラー検出方法。
23. 【請求項２３】 メモリ位置を指示する１個以上のポイ
    ンタを含みソフトウェア生成システムによって実行され
    るライブラリ関数の実行中に作成されるポインタに関す
    るポインタ情報を更新する方法において、 前記ライブラリ関数によって作成されるポインタに関す
    るポインタ情報を格納するラッパ関数を前記ライブラリ
    関数と関係づけるステップと、 前記ライブラリ関数の実行後に前記ラッパ関数を実行す
    るステップとからなることを特徴とする、ポインタ情報
    の更新方法。
24. 【請求項２４】 ソフトウェア生成システムによって実
    行され、メモリ位置を指示する１個以上のポインタを含
    むライブラリ関数およびソースコードについて、ライブ
    ラリ関数からソースコードに返されソースコード内のポ
    インタに代入されるポインタ値に関連しポインタごとに
    ポインタ検査テーブルに保持されるポインタ情報を更新
    する方法において、 返されるポインタ値に関するポインタ情報をメモリ位置
    に格納するラッパ関数を前記ライブラリ関数と関係づけ
    るステップと、 関係づけられたライブラリ関数の実行後に前記ラッパ関
    数を実行するステップと、 返されたポインタ値が前記ソースコード内のポインタに
    代入されたときに、前記メモリ位置からポインタ情報を
    取得して前記ポインタ検査テーブルに挿入するステップ
    とからなることを特徴とするポインタ情報の更新方法。
25. 【請求項２５】 テストされるソースコードファイルお
    よびそのソースコードファイルによって呼び出される１
    個以上のライブラリ関数からなり、メモリ位置を指示す
    る１個以上のポインタを含み、実行するソフトウェアプ
    ログラム内の各ポインタに関するポインタ情報を保持す
    るソフトウェア生成システムによって実行されるソフト
    ウェアプログラムに対して実行されるポインタ検査の数
    を最小にするためにソフトウェアプログラムをデータフ
    ロー解析する方法において、 前記ソフトウェアプログラム内の各ポインタに対するフ
    ローセットを設定するステップと、 前記ソフトウェアプログラムの各行に対して解析ルーチ
    ンを実行するステップと、 ポインタのデレファレンスを有するフローセットごと
    に、拡張オフセットを有する１回のポインタ検査を実行
    するステップとからなり、前記解析ルーチンが、 解析しているソフトウェアプログラムの行内のポインタ
    に新しい値が代入されることを前記ソフトウェア生成シ
    ステムが検出するたびごとに新しいフローセットを設定
    するステップと、 デレファレンスされるポインタに対する現在のフローセ
    ットに、そのデレファレンスされるポインタが解析して
    いるソフトウェアプログラムの前記行内でデレファレン
    スされたことの表示によりマークするステップと、 前記ソフトウェアプログラムの各行に対して前記解析ル
    ーチンを繰り返すステップとからなることを特徴とす
    る、ソフトウェアプログラムをデータフロー解析する方
    法。
26. 【請求項２６】 メモリのバイトごとに初期化ステータ
    スを保持するソフトウェア生成システムによって実行さ
    れるソフトウェアルーチンによるメモリのバイトの初期
    化を検出する方法において、 前記ソフトウェアルーチンがアクセスする可能性のある
    すべての領域のバイトを識別するステップと、 前記領域の各バイトを既知の値でマークするステップ
    と、 すべてのアクセス可能メモリに対する初期化ステータス
    を解析し、前記ソフトウェアルーチンが実行されるとき
    に未初期化であるすべてのバイトを識別するステップ
    と、 前記ソフトウェアルーチンが実行される前にすべての未
    初期化メモリの第１のチェックサムを実行するステップ
    と、 前記ソフトウェアルーチンが実行された後にすべての未
    初期化メモリの第２のチェックサムを実行するステップ
    と、 第１のチェックサムが第２のチェックサムに等しくない
    場合に前記ソフトウェアルーチンによるメモリの初期化
    があったと検出するステップとからなることを特徴とす
    る、ソフトウェアルーチンによるメモリの初期化を検出
    する方法。
27. 【請求項２７】 メモリのバイトごとに初期化ステータ
    スを保持するソフトウェア生成システムによって実行さ
    れるソフトウェアルーチンによるメモリのバイトの初期
    化を検出する方法において、 前記ソフトウェアルーチンがアクセスする可能性のある
    すべての領域のバイトを識別するステップと、 すべてのアクセス可能メモリに対する初期化ステータス
    を解析し、前記ソフトウェアルーチンが実行されるとき
    に未初期化であるすべてのバイトを識別するステップ
    と、 アクセス可能なすべての未初期化メモリを保存するステ
    ップと、 前記ソフトウェアルーチンが実行される前にすべての未
    初期化メモリの第１のチェックサムを実行するステップ
    と、 前記ソフトウェアルーチンが実行された後にすべての未
    初期化メモリの第２のチェックサムを実行するステップ
    と、 第１のチェックサムが第２のチェックサムに等しくない
    場合に前記ソフトウェアルーチンによるメモリの初期化
    があったと検出するステップとからなることを特徴とす
    る、ソフトウェアルーチンによるメモリの初期化を検出
    する方法。
28. 【請求項２８】 割当てメモリ領域を指示する１個以上
    のポインタを含み、ソフトウェア生成システムによって
    実行されるソフトウェアプログラムが割当てメモリ領域
    を解放する方法において、 前記割当てメモリ領域を指示する各ポインタのステータ
    ス表示およびチェインリストを含む、前記割当てメモリ
    領域に関する割当て情報を格納するステップと、 前記ソフトウェアプログラム内のポインタが前記割当て
    メモリ領域を指示している場合に、ステータス表示およ
    び前記割当て情報への相互参照を含む、ポインタに関す
    るポインタ情報を格納するステップと、 前記ソフトウェアプログラムによって前記ポインタのう
    ちの１個以上のポインタに新しい値が代入されることを
    前記ソフトウェア生成システムが検出するたびごとに前
    記ポインタ情報を更新するステップと、 前記チェインリストを変更するようなポインタ代入が検
    出されるごとに、前記チェインリストを更新するステッ
    プと、 前記割当てメモリ領域の解放を前記ソフトウェア生成シ
    ステムが検出した場合に、対応する割当て情報からチェ
    インリストを取得するステップと、 当該チェインリスト内にリストされた各ポインタに関す
    るポインタ情報のステータス表示内に、そのポインタは
    解放したメモリ空間を指示しているという表示を記録す
    るステップとからなることを特徴とする、割当てメモリ
    領域を解放する方法。