JPH10312313A

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

Info

Publication number: JPH10312313A
Application number: JP9122014A
Authority: JP
Inventors: Norikazu Iwata; 憲和岩田
Original assignee: Nippon Telegraph and Telephone Corp
Current assignee: Nippon Telegraph and Telephone Corp
Priority date: 1997-05-13
Filing date: 1997-05-13
Publication date: 1998-11-24

Abstract

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

Description

【発明の詳細な説明】

【０００１】

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

【０００２】

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

【０００３】例えば，意図した内容が「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型オブジェクトの大きさが８バイト
のときにはプログラム３と動作を同じくする。

【００１２】［プログラム１］ #if 0xffffffff>-1 f(int a)｛return a; ｝ #else g(int b)｛return b; ｝ #endif ［プログラム２］ g(int b)｛return b; ｝［プログラム３］ f(int a)｛return a; ｝このようにオブジェクトの大きさによって異なる解釈が
必要な場合に備えて，検査の前にオブジェクトの大きさ
をどの値とみなして検出を進めるかを定めておく。

【００１３】オブジェクトの大きさが変わると動作が変
わるパタンとしてソースプログラムから抽出するパタン
は，以下のパタンである。 (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 型またはunsi
gned型に変換されてから演算される（この変換をプロモ
ーションと呼ぶ）。この変換は，ケースに依存する。例
えば，sizeof(int) ＝２の時に，unsigned short型はun
signed型に変換されてから演算されるが，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<u
s」が記述されている行の行番号が埋め込まれる。

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

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

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

【００５２】ステップＳ９で前処理指令でないと判断し
た場合には，構文エラーのメッセージを出力し（Ｓ１
３），エラーとして中断処理へ移り（Ｓ１４），処理を
終了する。

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

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

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

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

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

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

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

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

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

【００６２】

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

【００６３】

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

【図面の簡単な説明】

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

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

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

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

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

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

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

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

Claims

【特許請求の範囲】

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