JPH10307735A

JPH10307735A - Ｃ＋＋言語の計算機プログラム検査処理方法およびプログラム記憶媒体

Info

Publication number: JPH10307735A
Application number: JP9119014A
Authority: JP
Inventors: Norikazu Iwata; 憲和岩田
Original assignee: Nippon Telegraph and Telephone Corp
Current assignee: Nippon Telegraph and Telephone Corp
Priority date: 1997-05-09
Filing date: 1997-05-09
Publication date: 1998-11-17

Abstract

(57)【要約】【課題】Ｃ＋＋言語で記述されたソースプログラムから
整数型のオブジェクトの大きさが変わると動作が変わる
箇所を自動的に検出する。【解決手段】Ｃ＋＋言語で記述されたＣ＋＋ソースプロ
グラム２を入力し，Ｃ＋＋言語の仕様によって定まる整
数型（char型，short 型，int 型，long型）のオブジェ
クトの大きさが変わるとプログラムの動作が変わるパタ
ンを，入力したソースプログラムを解析することによっ
て検出する。その検出したパタンに該当するソースプロ
グラムが記述されているファイル名，行番号，オブジェ
クトを表す名前と演算に関する情報を検出メッセージ４
として出力する。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は，プログラム言語で
あるＣ＋＋言語を利用して作成された計算機プログラム
の検査処理方法であって，特に，Ｃ＋＋プログラムから
整数型のオブジェクトの大きさが変わると動作が変わる
箇所を検出するＣ＋＋言語の計算機プログラム検査処理
方法およびそれを実現するためのプログラム記憶媒体に
関するものである。

【０００２】

【従来の技術】ＩＳＯおよびＡＮＳＩで標準化中の計算
機プログラム言語Ｃ＋＋は，他のプログラム言語では，
同様な内容の誤記であれば構文違反や文法違反になるよ
うなところが，構文違反や文法違反のエラーとはなら
ず，異なる意味のプログラムとなることがあり，動作誤
りが潜在する可能性がある。

【０００３】例えば，意図した内容が「if(a==f(x)) 」
であるときに，「if(a=f(x))」と誤記しても構文違反や
文法違反のエラーとはならず，動作誤りが生じる。変数
ａの値と関数ｆ（ｘ）の値とが等しいかどうかではな
く，変数ａに関数ｆ（ｘ）の値を代入した結果が０か１
かによって，次に実行すべき処理が決定されるからであ
る。

【０００４】また，例えば意図した内容が「x=y / *z ;
/*comment*/ 」であるときに，「x=y /*z ; /*comme
nt*/」というように誤記すると，コメント部分が「/*
comment*/ 」ではなく，「/*z ; /*comment*/」と解
釈されるので，動作誤りが生じる。

【０００５】このため，プログラムを作成する際に従う
べきコーディング規約を定め，プログラム作成者等が誤
記を回避するよう努めたり，コーディング規約に違反す
る箇所をソースプログラムの出力リストから検出するこ
とが行われてきた。

【０００６】しかし，従来，プログラムが動作する場合
のプロセッサあるいは利用するコンパイラが変わり，整
数型の大きさが変わった時に動作が変わる箇所を検出す
るものはなかった。

【０００７】

【発明が解決しようとする課題】ＬＳＩ作成技術の進歩
に伴いマイクロプロセッサのレジスタの幅が，１６ビッ
トから３２ビット，３２ビットから６４ビットに拡張さ
れてきている。これを反映してＣ＋＋言語で記述された
ソースプログラムから，計算機で動作するロードモジュ
ールを生成する各種のＣ＋＋コンパイラにおけるint 型
オブジェクトの大きさが２バイトから４バイト，long型
オブジェクトの大きさが４バイトから８バイトに変わっ
てきている。

【０００８】このため，適切な制約の下に十分注意して
ソースプログラムを作成しないと，特定のプロセッサ，
コンパイラでしか正しく動作しない，という問題があっ
た。また，以前に作成したソースプログラムを，作成し
た時にターゲットとしていなかったプロセッサ，コンパ
イラでも正しく動作させる場合に，プログラムの規模が
大きければなおのこと，どこを修正すればよいかを特定
することが困難であった。

【０００９】本発明は上記問題点の解決を図り，Ｃ＋＋
言語で記述されたソースプログラムから整数型のオブジ
ェクトの大きさが変わると動作が変わる箇所を，自動的
に検出し，さらに動作が変わらないように修正できるな
らば自動修正する手段を提供することを目的とする。

【００１０】

【課題を解決するための手段】Ｃ＋＋言語の仕様書から
整数型（char型，short 型，int 型，long型）のオブジ
ェクトの大きさが変わると動作が変わるパタン（オブジ
ェクトに対する単項演算とオブジェクト間の二項演算）
を抽出する。該当パタンを，Ｃ＋＋言語で記述されたソ
ースプログラムから，ファイル名，行番号，オブジェク
トを表す名前と演算とで特定して検出する。

【００１１】ソースプログラムからの検出を進めるに当
たり，一つのソースプログラムをオブジェクトの大きさ
によって異なる解釈をしなければならない事態に陥るこ
とがある。例えば，long型オブジェクトの大きさが４バ
イトのとき，次のプログラム１はプログラム２と動作を
同じくするが，long型オブジェクトの大きさが８バイト
のときにはプログラム３と動作を同じくする。

【００１２】このようにオブジェクトの大きさによって異なる解釈が
必要な場合に備えて，検査の前にオブジェクトの大きさ
をどの値とみなして検出を進めるかを定めておく。

【００１３】オブジェクトの大きさが変わると動作が変
わるパタンとしてソースプログラムから抽出するパタン
は，以下のパタンである。 (1) wchar＿t ，size＿t ， ptrdiff＿t 型オブジェク
トの定義 (2) sizeof（Ｘ）ただし，Ｘはint 型あるいはその別名，およびint 型を
メンバに含む集成型名，あるいは左記の型をもつオブジ
ェクトである。

【００１４】(3) sizeof（Ｙ）ただし，Ｙはlong型あるいはその別名，およびlong型を
メンバに含む集成型名，あるいは左記の型をもつオブジ
ェクトである。

【００１５】(4) unsigned short型オブジェクトとプロ
モーション後int 型のオブジェクトの間の＜，＜＝，
＞，＞＝演算 (5) プロモーション後unsigned型のオブジェクトとlong
型のオブジェクトの間の＜，＜＝，＞，＞＝演算なお，プロモーションとは，int 型より大きさが小さい
整数型のオブジェクトを演算する場合に，一度int 型ま
たはunsigned型に変換して演算するための変換である。

【００１６】(6) unsigned short型オブジェクトと負の
整定数との間の＜，＜＝，＞，＞＝演算 (7) プロモーション後unsigned型のオブジェクトとlong
型の＋，−，＊，／演算の結果と負の整定数との＜，＜
＝，＞，＞＝演算 (8) ２³¹以上２³²未満の値をもつ整定数と符号付型との
＜，＜＝，＞，＞＝演算 (9) ２⁷以上２⁸未満の値をもつ１６進あるいは８進の
整定数と符号付型との＜，＜＝，＞，＞＝演算 (10)プロモーション後unsigned型オブジェクトとlong型
の負の値との＜，＜＝，＞，＞＝演算 (11)long型，unsigned long 型オブジェクトのビット反
転演算 (12)プロモーション後int 型オブジェクト，unsigned型
になるオブジェクトのビット反転以上の(1) 〜(12)のパタンをソースプログラムから検出
し，その検出結果を出力する。以上のパタンを検出でき
れば，整数型のオブジェクトの大きさが変わることによ
り予期しない動作が生じるようなことに対して事前に対
処することができる。なお，パタンごとに検出するかど
うかを検査の前に指定させて，特定のパタンのみを検出
するようにすることもできる。検出結果に従って，検査
したソースプログラムを自動修正することも可能であ
る。

【００１７】

【発明の実施の形態】図１は，本発明の概要説明図であ
る。図中，１はＣＰＵおよびメモリ等からなる処理装
置，２は検査対象のＣ＋＋ソースプログラム，３は検査
条件や抑止条件等の指定情報，４は検査結果の検出メッ
セージ，５は自動修正した修正ソースプログラム，１０
はＣ＋＋ソースプログラムから整数型のオブジェクトの
大きさが変わると動作が変わる箇所を検出するＣ＋＋プ
ログラム検査部を表す。

【００１８】Ｃ＋＋プログラム検査部１０は，Ｃ＋＋ソ
ースプログラム２を入力し，Ｃ＋＋ソースプログラム２
の構文解析および意味解析を行い，整数型のオブジェク
トの大きさが変わると動作が変わるパタンを検出する。
このとき，検査条件指定または抑止条件指定の指定情報
３があれば，その条件に従って検出する。

【００１９】また，Ｃ＋＋プログラム検査部１０は，Ｃ
＋＋ソースプログラム２中で検出したパタンの部分を，
整数型のオブジェクトの大きさが変わっても動作が変わ
らない記述，または意図した所定の動作となるような記
述に自動修正する手段を持つ。

【００２０】図２は，本発明の実施の形態に係るモジュ
ール構成図である。図２のＣ＋＋プログラムチェッカ２
０およびプリプロセッサ２４は，図１のＣ＋＋プログラ
ム検査部１０に相当する。この例では，Ｃ＋＋プログラ
ムチェッカ２０およびプリプロセッサ２４は，ＵＮＩＸ
オペレーティングシステム上で動作し，ソースファイル
３２等からＣ＋＋言語で記述されたソースプログラムを
入力して構文解析および意味解析を行い，前述したパタ
ンを検出して，検出結果の検出メッセージ４をファイル
あるいは端末に出力する。

【００２１】Ｃ＋＋プログラムを検査するための手段
は，４つの論理的な機能区分（カスタマイザ２３，プリ
プロセッサ２４，チェッカ本体２１，ポストプロセッサ
２２）から構成され，カスタマイザ２３，プリプロセッ
サ２４，Ｃ＋＋プログラムチェッカ２０の３つのロード
モジュールから構成される（図２）。

【００２２】カスタマイザ２３は，Ｃ＋＋プログラムの
チェッカ起動時に一度だけ実行され，Ｃ＋＋プログラム
チェッカ２０の起動時に指定されたオプション，起動オ
プションが指定されないときどのように解釈するかを記
述したデフォルト情報ファイル３０とカスタマイズファ
イル３１とから，カスタマイズ情報テーブルファイル３
５を作成する。

【００２３】作成されたカスタマイズ情報テーブルファ
イル３５には，どのケースの検査をすべきかの情報や，
sizeof(char)の値，sizeof(short) の値，sizeof(int)
の値，sizeof(long)の値，size＿t ， ptrdiff＿t ， w
char＿t の型，ソースプログラムが参照するヘッダファ
イルがどのディレクトリにあるかの情報，プログラム起
動時のオプションや環境変数等を保存している。プログ
ラム起動時のオプションは，ここではＵＮＩＸのＣ＋＋
コンパイラに倣った内容としている。ヘッダファイル，
環境変数等についてはＵＮＩＸシステム等において知ら
れているので，ここでの詳細な説明は省略する。

【００２４】プリプロセッサ２４は，ソースファイル３
２，プロトタイプファイル３３，マクロ定義ファイル３
４を読み込み，Ｃ＋＋ソースプログラムの中に記述され
ている＃から始まる行（行制御，ファイル取り込み，マ
クロ定義）とマクロの展開を行い，前記パタンに該当す
る箇所が見つかれば，エラーファイル３７に出力し，マ
クロ展開した内容をチェッカ本体２１が読むように出力
する。このファイルを図２では中間ファイル３６として
示している。

【００２５】チェッカ本体２１は，プリプロセッサ２４
の出力した中間ファイル３６を読み込んで，構文解析，
意味解析を行い，前記パタンに該当する箇所が見つかれ
ば，その情報をエラーファイル３７に出力する。

【００２６】ポストプロセッサ２２は，プリプロセッサ
２４およびチェッカ本体２１によってエラーファイル３
７に出力された内容をマージし，カスタマイズ情報テー
ブルファイル３５に記述された内容に従って編集して，
それらを検出メッセージ４として出力する。また，カス
タマイズ情報テーブルファイル３５に記述された内容に
従って，整数型のオブジェクトの大きさが変わっても動
作が変わらないようにソースプログラムを修正できる場
合には自動修正して，その修正結果を修正ソースファイ
ル４０に出力する。

【００２７】以上のように各モジュールが順に動作し，
作成したＣ＋＋ソースプログラムを格納したソースファ
イル３２を読み込んで，前記パタンに一致する箇所をそ
のファイル名と行番号，パタンとそれの構成要素である
識別子あるいは整定数を含んで検出する。

【００２８】以上の処理において補助的に用いられるフ
ァイルについて簡単に説明する。カスタマイズファイル
３１は，Ｃ＋＋プログラムチェッカの起動時に指定でき
るオプションが指定されなかった場合にどのような解釈
をするかを記述したファイルである。

【００２９】デフォルト情報ファイル３０は，Ｃ＋＋プ
ログラムチェッカ２０の起動時のオプションで指定しな
い情報について指定するファイルであり，例えば，マク
ロや型をソースプログラムで定義されているのと同様に
定義する。これはＣ＋＋コンパイラが内部で定義してい
るプロセッサやオペレーティング・システム（ＯＳ）の
名前をもつ識別子を，Ｃ＋＋プログラムチェッカ２０が
倣って定義するために利用する。

【００３０】メッセージファイル３８は，Ｃ＋＋プログ
ラムチェッカ２０が出力するメッセージの雛型（出力時
に埋めるファイル名，行番号，オブジェクト名を除いた
メッセージ等）を格納しているファイルである。

【００３１】演算結果ファイル３９は，次のようなもの
である。Ｃ＋＋言語ではint 型より大きさが小さい整数
型のオブジェクトは，演算する場合に一度int 型または
unsigned型に変換されてから演算される（この変換をプ
ロモーションと呼ぶ）。この変換は，ケースに依存す
る。例えば，sizeof(int) ＝２の時に，unsigned short
型はunsigned型に変換されてから演算されるが，sizeof
(int) ＝４の時には，int 型に変換されてから演算され
る。演算結果ファイル３９は，この処理のためのもの
で，各型のオブジェクトが各ケースの時にどの型に変換
されるかを記述して保存しているものである。

【００３２】カスタマイズ情報テーブルファイル３５
は，カスタマイズファイル３１と起動オプションとを解
析して編集したファイルである。中間ファイル３６は，
プロプロセッサ２４が#includeや#define,マクロの展開
を行った結果と定義されているシンボル一覧を出力する
ファイルである。

【００３３】エラーファイル３７は，プリプロセッサ２
４，チェッカ本体２１が検出した内容を一旦保持してお
くファイルである。シンボルテーブル５０〜５２は，プ
ログラム中のシンボル情報を記憶するテーブルであり，
トークンテーブル５３は，プログラム中で括弧やコロン
等の区切り記号で区切られた単位の情報を記憶するテー
ブルである。

【００３４】Ｃ＋＋言語で記述された計算機プログラム
において，整数型（char型，short型，int 型，long
型）のオブジェクトの大きさがどのように変わっても動
作が変わらないプログラムは適用範囲が広いが，実現で
きる機能範囲が狭くなり必ずしも現実的とはいえない。

【００３５】char型，short 型，int 型，long型のオブ
ジェクトの大きさは言語仕様から次の条件を満たす必要
がある。・sizeof(char)≦sizeof(short) ≦sizeof(int) ≦size
of(long) ・１≦sizeof(char)，２≦sizeof(short) ，２≦sizeof
(int) ，４≦sizeof(long) このためプログラムの開発条件は次の多くのケースがあ
る。

【００３６】sizeof(int) の値（int 型オブジェクトの
大きさ）がプロセッサのレジスタを反映して，１６ビッ
ト，３２ビット，６４ビットの場合が考えられる。した
がって，sizeof(int) だけに関しても，・１６ビットのみ（sizeof(int) ＝２）・３２ビットのみ（sizeof(int) ＝４）・６４ビットのみ（sizeof(int) ＝８）・１６ビットまたは３２ビット・３２ビットまたは６４ビット・１６または３２または６４ビットのケースがある。

【００３７】sizeof(char)とsizeof(int) ，sizeof(sho
rt) とsizeof(int) ，sizeof(int)とsizeof(long)の大
小関係について＜，＝，＜または＝というケースがさら
に加わる。

【００３８】以上のような各種の開発条件に対応した検
査を可能とするために，Ｃ＋＋プログラムチェッカ２０
に対して，検査条件を指定することができる。図３は，
検査条件指定の説明図である。

【００３９】char，short ，int ，long， wchar＿t ，
size＿t ， ptrdiff＿t 型は，ターゲットとなるプロセ
ッサやコンパイラ（環境）によって変わるため，プログ
ラム開発者は，開発条件に関して図３に示すような選択
肢の中から選択する必要がある。

【００４０】図３（Ａ）は，char，short ，int ，long
型のそれぞれの大きさに関する選択肢であり，図３
（Ｂ）は，char型の値の範囲に関する選択肢であり，図
３（Ｃ）〜（Ｅ）は，それぞれ wchar＿t 型，size＿t
型， ptrdiff＿t 型に関する選択肢を示している。

【００４１】これらの選択肢の中で「または」「どれで
も」という条件が含まれる場合には，いくつかの環境で
検査対象のプログラムを動作させたいというプログラム
開発者の意思がある。そこで，「または」「どれでも」
を含む条件の場合に動作が変わる箇所をプログラムから
検出する。

【００４２】検査条件は，図３（Ａ）〜（Ｅ）のそれぞ
れの場合の積だけ存在することになる。すなわち，
（Ａ）について１５種，（Ｂ）について３種，（Ｃ）に
ついて１０種，（Ｄ）について５種，（Ｅ）について３
種であるから，検査条件は，１５×３×１０×５×３＝
６７５０通りある。

【００４３】また，不要な検出メッセージ４を出力しな
いようにするため，または不要な自動修正をしないよう
にするため，Ｃ＋＋プログラムチェッカ２０に対して，
抑止条件を指定することもできる。抑止条件の対象とし
ては，ファイルとパタンを選択することができ，対象フ
ァイルの指定では，前述したパタンがあっても検出しな
いファイルおよびプログラムの行を指定することができ
る。対象パタンの指定では，前述した(1) 〜(12)のパタ
ンのうち，検出を抑止するパタンを指定することができ
る。

【００４４】次に検査後の自動修正の例について説明す
る。図４は，Ｃ＋＋ソースプログラムについての自動修
正の例を示している。例えば検査対象が，図４に示すよ
うなＣ＋＋ソースプログラム２であったとする。ここ
で，int 型が２バイトまたは４バイトで動作を変えたく
ないものとする。

【００４５】このＣ＋＋ソースプログラム２について，
前述したパタン抽出を行うと「(4)unsigned short型オ
ブジェクトとプロモーション後int 型のオブジェクトの
間の＜，＜＝，＞，＞＝演算」のパタンが該当する。

【００４６】このプログラムでは，「i<us」の部分（ｉ
とusの値の比較結果) がオブジェクトの大きさによって
変わる。sizeof(short) とsizeof(int) が等しいとき
に，unsigned shortは，int 型ではなく，unsigned型に
プロモートが起きるためである。そこで，int 型が２バ
イトでも４バイトでも動作が変わらないようにするに
は，図４に示すような修正ソースプログラム５に修正す
ればよい。すなわち，動作を変わらないようにするに
は，「i<(int)us 」のように大小比較する変数の型を予
め整合させる。このような自動修正は，前記パタンに対
応したルーチンを用意することにより実現することがで
きる。

【００４７】なお，図４に示すＣ＋＋ソースプログラム
２に対する検査結果の出力は，例えば「ファイル名：
行：ｉとｕｓとの＜はｓｈｏｒｔ型とｉｎｔ型のサイズ
依存」というような検出メッセージであり，自動修正を
行わない場合でも，この検出メッセージによってプログ
ラム開発者に注意を促すことができる。

【００４８】この検出メッセージにおいて，「ファイル
名」の部分には，このＣ＋＋ソースプログラム２が格納
されているファイルのファイル名，「行」の部分には
「i<us」が記述されている行の行番号が埋め込まれる。

【００４９】図５は，図２に示すプリプロセッサ２４の
フローチャートである。プリプロセッサ２４は，まずス
テップＳ１では，エラー中断時に制御を移すべき処理の
登録を行う。次に，環境変数，起動オプションの取得を
行い，内部テーブルに設定する（Ｓ２）。さらに，トー
クンテーブルの初期化，シンボルテーブルの初期化を行
い（Ｓ３，Ｓ４），続いてカスタマイズ情報の取得およ
びカスタマイズ情報テーブルファイル３５への初期化を
行う（Ｓ５）。また，マクロ定義ファイル３４およびプ
ロトタイプファイル３３の読み込みを行い，内部への初
期化を行う（Ｓ６）。

【００５０】以上の初期化処理の後，ステップＳ７で
は，ソースファイル３２から順次，検査対象のプログラ
ムを読み込む。ステップＳ８の判定により「＃」から始
まる行のときは，ステップＳ９へ進み。次の前処理指令
かを判断する。

【００５１】#if,#ifdef,#ifndef,#elif,#endif,#else,
#include,#define,#line,#error,#pragma,#ident このいずれかであれば，その前処理指令に対応した処理
を行い（Ｓ１０），検出パタンに一致するかどうかを判
定する（Ｓ１１）。検出パタンに一致しなければ，ステ
ップＳ７へ戻る。検出パタンに一致すれば，診断メッセ
ージをエラーファイル３７へ出力し（Ｓ１２），その
後，ステップＳ７へ戻る。

【００５２】ステップＳ８の判定で「＃」から始まる行
ではない場合，ステップＳ１５へ進み，通常のコンパイ
ラ等で行われているように，トークンテーブルへの出
力，シンボルテーブルへの出力を行い（Ｓ１５，Ｓ１
６），それらを中間ファイル３６へ出力する（Ｓ１
７）。以上の処理（Ｓ７〜Ｓ１７）をソースファイル３
２が尽きるまで行い（Ｓ１８），ソースファイル３２が
尽きたら，チェッカ本体２１を起動する（Ｓ１９）。

【００５３】図６は，図２に示すチェッカ本体２１のフ
ローチャートである。チェッカ本体２１は，プリプロセ
ッサ２４と同様に，まずステップＳ２１では，エラー中
断時に制御を移すべき処理の登録を行う。次に，環境変
数，起動オプションの取得を行い，内部テーブルに設定
する（Ｓ２２）。次に，トークンテーブルの読み込み
（Ｓ２３），シンボルテーブルの読み込み（Ｓ２４）を
行い，続いてカスタマイズ情報の取得および内部への初
期化を行う（Ｓ２５）。

【００５４】以上の初期化処理の後，ステップＳ２６で
は，プリプロセッサ２４の出力を読み込む。それを構文
解析し，内部で構文木を生成する（Ｓ２７）。そして，
構文木と検出パタンとが一致するかどうかを調べ（Ｓ２
８），一致する場合には，診断メッセージをエラーファ
イル３７へ出力する（Ｓ２９）。

【００５５】次に意味解析し，文を所定の内部形式に変
換する（Ｓ３０）。なお，構文解析，意味解析等の処理
は，通常のコンパイラで行われている処理と同様である
ので，ここでの詳しい説明は省略する。

【００５６】文を内部形式に変換した後，その内部形式
と検出パタンとが一致するかどうを調べる（Ｓ３１）。
一致する場合には，診断メッセージをエラーファイル３
７へ出力する（Ｓ３２）。

【００５７】以上の処理（Ｓ２６〜Ｓ３２）をプリプロ
セッサ２４の出力ファイルが尽きるまで行い（Ｓ３
３），出力ファイルが尽きたら，ポストプロセッサを起
動する（Ｓ３４）。

【００５８】図７は，図２に示すポストプロセッサ２２
のフローチャートである。ポストプロセッサ２２は，ま
ずステップＳ４１でカスタマイズ情報テーブルファイル
３５の読み込みを行う。次に，エラーファイル３７の読
み込みを行い（Ｓ４２），読み込んだエラーファイル３
７の内容の診断メッセージを診断対象となったファイ
ル，行の順に並べかえ，中間ファイルを作成する（Ｓ４
３）。

【００５９】次に，作成した中間ファイルから，抑止条
件指定により抑止対象となっている診断メッセージを削
除し，中間ファイルを更新する（Ｓ４４）。また，この
中間ファイルの内容で，抑止対象となっている診断対象
ファイルに関する診断メッセージを削除する（Ｓ４
５）。

【００６０】残った中間ファイルの内容を検出メッセー
ジ４として，プリンタ，ディスプレイ，ファイル等の出
力装置に出力する（Ｓ４６）。また，利用者からの指定
と検出結果とに応じて，自動修正が可能であれば，図４
で説明したようなプログラムの自動修正を行い，処理を
終了する。

【００６１】

【実施例】以上のＣ＋＋プログラムチェッカにより，約
４Ｍ（四百万）行のＣ＋＋ソースプログラムを調査した
ところ，凡そ１００Ｋ（十万）行に１箇所の割合でlong
型が４バイトと８バイトとで動作が変わる箇所が発見で
きた。

【００６２】

【発明の効果】以上説明したように，本発明によれば，
プログラムが動作する場合のプロセッサあるいは利用す
るコンパイラが変わり，整数型のオブジェクトの大きさ
が変わったときに動作が変わる箇所を自動的に検出する
ことができるので，各種の環境に応じたプログラムの開
発が容易になり，動作誤りを未然に防止することが可能
になる。さらに，自動修正機能を設けることによって，
より一層の労力の軽減および信頼性の向上が可能にな
る。

【図面の簡単な説明】

【図１】本発明の概要説明図である。

【図２】本発明の実施の形態に係るモジュール構成図で
ある。

【図３】検査条件指定の説明図である。

【図４】Ｃ＋＋ソースプログラムについての自動修正の
例を示す図である。

【図５】プリプロセッサのフローチャートである。

【図６】チェッカ本体のフローチャートである。

【図７】ポストプロセッサのフローチャートである。

【符号の説明】１処理装置２Ｃ＋＋ソースプログラム３指定情報４検出メッセージ５修正ソースプログラム１０Ｃ＋＋プログラム検査部

Claims

【特許請求の範囲】

【請求項１】プログラム言語であるＣ＋＋言語を利用
して作成された計算機プログラムの検査処理方法であっ
て，Ｃ＋＋言語で記述されたソースプログラムを入力す
る過程と，整数型のオブジェクトの大きさが変わるとプ
ログラムの動作が変わるパタンを，入力したソースプロ
グラムから検出する過程と，前記検出したパタンに該当
するソースプログラム情報を出力する過程とを有するこ
とを特徴とするＣ＋＋言語の計算機プログラム検査処理
方法。
【請求項２】請求項１記載のＣ＋＋言語の計算機プロ
グラム検査処理方法において，int 型またはlong型のオ
ブジェクトの大きさが第１の場合と第２の場合とで動作
が変わるパタンをソースプログラムから検出する場合
に，int 型またはlong型のオブジェクトの大きさをどち
らか一方に指定して検査することを特徴とするＣ＋＋言
語の計算機プログラム検査処理方法。
【請求項３】請求項１または請求項２記載のＣ＋＋言
語の計算機プログラム検査処理方法において，前記パタ
ンごとに検出するかどうかの指定を検査の前に入力する
過程と，指定されたパタンについてのみ検出した結果を
出力する過程とを有することを特徴とするＣ＋＋言語の
計算機プログラム検査処理方法。
【請求項４】プログラム言語であるＣ＋＋言語を利用
して作成された計算機プログラムの検査処理方法であっ
て，Ｃ＋＋言語で記述されたソースプログラムを入力す
る過程と，整数型のオブジェクトの大きさが変わるとプ
ログラムの動作が変わるパタンを，入力したソースプロ
グラムから検出する過程と，前記検出したパタンに該当
するソースプログラムを，整数型のオブジェクトの大き
さが変わっても動作が変わらないかまたは所定の動作と
なるように自動修正する過程とを有することを特徴とす
るＣ＋＋言語の計算機プログラム検査処理方法。
【請求項５】プログラム言語であるＣ＋＋言語を利用
して作成された計算機プログラムの検査を行うためのプ
ログラムを格納した計算機読み取り可能な記憶媒体であ
って，Ｃ＋＋言語で記述されたソースプログラムを入力
する手順と，Ｃ＋＋言語の仕様によって定まる整数型の
オブジェクトの大きさが変わるとプログラムの動作が変
わるパタンを，入力したソースプログラムから検出する
手順と，前記検出したパタンに該当するソースプログラ
ム情報を出力する，またはそのソースプログラムを，整
数型のオブジェクトの大きさが変わっても動作が変わら
ないかもしくは所定の動作となるように自動修正する手
順とを計算機に実行させるプログラムを格納したことを
特徴とするプログラム記憶媒体。