JPH10312312A

JPH10312312A - 仕様によって動作が変わるｃ言語の計算機プログラム検査処理方法およびプログラム記憶媒体

Info

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

Abstract

(57)【要約】【課題】Ｃ言語で記述されたソースプログラムからコン
パイラが準拠する言語の仕様によって動作が変わる箇所
を自動的に検出または修正し，プログラムの開発を容易
にする。【解決手段】Ｃ言語で記述されたＣソースプログラム２
を入力し，例えばＫ＆Ｒ仕様や標準Ｃ仕様等のコンパイ
ラが準拠する仕様によって動作に差異のあるパタンを，
入力したソースプログラムを解析することによって検出
する。その検出したパタンに該当するソースプログラム
が記述されているファイル名，行番号，オブジェクトを
表す名前と演算に関する情報を検出メッセージ４として
出力する。また，動作が変わらないようにソースプログ
ラムを自動修正する。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】プログラム言語Ｃ（JIS X 30
10-1993, ISO/IEC 9899:1990）を利用して作成された計
算機プログラムの検査処理方法であって，特に，Ｃプロ
グラムからコンパイラが準拠するＣ言語の仕様によって
動作が変わる箇所を検出するＣ言語の計算機プログラム
検査処理方法およびそれを実現するためのプログラム記
憶媒体に関するものである。

【０００２】

【従来の技術】計算機プログラム言語Ｃには，他の言語
同様にいくつかの方言がある。伝統的な方言の一つに，
「石田晴久訳：プログラミング言語ＣＵＮＩＸ流プロ
グラム書法と作法，共立出版，1981年」で解説されてい
るＫ＆Ｒと呼ばれる仕様がある。Ｋ＆Ｒ仕様によるＣ言
語の計算機プログラムは，永きにわたり利用され，多く
のプログラムが作られている。

【０００３】一方，標準Ｃ仕様は，Ｋ＆Ｒ仕様の不明確
な箇所を補充する他，これまでの仕様を改良して定めら
れた。両者の差異の内，構文規則に関する仕様は単純で
あるため，Ｋ＆Ｒ仕様で作成されたプログラムを受理す
る標準Ｃ仕様準拠コンパイラは作成されてきている。し
かし，意味（動作）上の差異があることを正確に警告す
るコンパイラはなかった。

【０００４】

【発明が解決しようとする課題】Ｃ言語仕様の標準化に
ともない，Ｋ＆Ｒ仕様準拠コンパイラだけでなく，標準
Ｃ仕様準拠コンパイラを利用できるようになってきた。
このような状況下におけるプログラムの開発において，
一方の仕様に準拠したコンパイラによってのみ意図どお
りに解釈されるプログラムを作成するという方針を採る
のが一般的であるが，準拠している仕様が異なる複数の
コンパイラによって意図どおり解釈されるようにプログ
ラムを作成したい場合がある。この場合，両者の仕様に
は意味上の違いがあるため，適切な制約の下に十分注意
してソースプログラムを作成しなければならないという
課題がある。

【０００５】また，以前に作成したソースプログラム
を，作成した時にターゲットとしていなかった仕様に準
拠するコンパイラを利用して意図どおり動作させる場合
に，プログラムの規模が大きければなおのこと，どこを
修正すればよいかを特定することが非常に困難であっ
た。

【０００６】本発明は上記問題点の解決を図り，Ｃ言語
で記述されたソースプログラムからコンパイラが準拠す
るＣ言語の仕様によって動作が変わる箇所を，自動的に
検出し，さらに動作が変わらないように修正できるなら
ば自動修正する手段を提供することを目的とする。

【０００７】

【課題を解決するための手段】Ｋ＆Ｒ仕様書と標準Ｃ仕
様書から，構文上の差異，意味上の差異，特に整数型
（char型，short 型，int 型，long型とそれぞれの符号
無型）のオブジェクトに関して差異が生じるパタン（オ
ブジェクトに対する演算とオブジェクト間の演算）を抽
出する。該当パタンを，Ｃ言語で記述されたソースプロ
グラムから，ファイル名，行番号，オブジェクトを表す
名前と演算とで特定して検出する。

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

【０００９】［プログラム１］ #if 0xffffffff>0 f(int a)｛return a; ｝ #else g(int b)｛return b; ｝ #endif ［プログラム２］ g(int b)｛return b; ｝［プログラム３］ f(int a)｛return a; ｝このようにコンパイラが準拠する仕様によって異なる解
釈が必要な場合に備えて，検査の前にどちらの仕様に従
って検出を進めるかを定めておく。

【００１０】例えば，Ｋ＆Ｒ仕様準拠コンパイラと標準
Ｃ仕様準拠コンパイラとで，翻訳結果のプログラムの動
作に差異があるパタンとして，ソースプログラムから抽
出するパタンは，以下のパタンである。

【００１１】(1) ３文字表記例 ??＝ (2) entry という名前の識別子 (3) const, volatile, signed, void という名前の識別
子 (4) ブロック内での外部宣言 (5) 整数型定数の型を明示する接尾語 u, U, ul, UL, U
l, uL, lu, Lu, lU, LU (6) 浮動小数点型定数を明示する接尾語 f, F, l, L, l
f, fl, lF, Fl, Lf, fL (7) 広角文字定数，広角文字列リテラル (8) 二文字以上で構成される文字定数 (9) 文字定数 \a, \v, \", \? （ここで， \の表記は半
角の逆スラント「＼」の代用である。） (10)文字列の連結例） "abc" "def"が "abcdef" と標準Ｃ仕様では解釈す
るが，Ｋ＆Ｒ仕様では文字列の連結はできない。

【００１２】(11)unsigned short型あるいはunsigned c
har 型と符号付整数型との＜，＜＝，＞，＞＝，＊，／
演算 (12)unsigned short型あるいはunsigned char 型と負値
の整定数との＜，＜＝，＞，＞＝，＊，／演算 (13)２³¹以上２³²未満の値をもつ整定数と符号付型との
＜，＜＝，＞，＞＝演算 (14)関数へのポインタ変数の宣言 (15)単項の＋演算子 (16)シフト演算の左辺がlong型，unsigned long 型でな
く，右辺がlong型もしくはunsigned long 型 (17)定数式中の&&，‖，単項 &，！，キャスト演算 (18)未定義の ptrdiff＿t ，size＿t ， wchar＿t 型の
オブジェクト宣言 (19)long double 型のオブジェクト宣言 (20)関数型，配列型のオブジェクト宣言 (21)プロトタイプ宣言 (22)返す型が構造体，共用体の関数定義と呼びだし (23)初期設定付の外部変数の定義 (24)共用体の初期化 (25)自動変数として宣言されている配列，構造体，共用
体の初期化 (26)int 型でないcase名札 (27)引き数が可変個となる関数定義 (28)引き数の個数が可変個の関数の呼びだし (29)仮引き数の並びを括弧内に記した関数定義 (30)定義のない外部変数の宣言 (31) #の前に空白文字がある前処理指令行 (32)defined を含む前処理指令 (33) #elifという前処理指令 (34) #include のファイル指定にマクロが存在 (35)関数形式マクロの定義の置換の並びの中の文字，文
字列の中にマクロ引き数 (36)置換の並びの中の文字，文字列の中にマクロ引き数
がある定義をもつマクロの呼びだし (37)再帰的定義のマクロ定義 (38)再帰的定義のマクロの呼びだし (39) #，##演算子を利用したマクロ定義 (40) #，##演算子を用いたマクロの呼びだし (41)「#line 前処理字句列改行」という形式の前処理
指令 (42)「#error 」という形式の前処理指令 (43)「#pragma 」という形式の前処理指令 (44)「# 」以外が空白という形式の前処理指令以上の(1) 〜(44)のパタンをソースプログラムから検出
し，その検出結果を出力する。以上のパタンを検出でき
れば，コンパイラが準拠する仕様による動作の差異のた
めに予期しない動作が生じるようなことに対して，事前
に対処することができる。なお，パタンごとに検出する
かどうかを検査の前に指定させて，特定のパタンのみを
検出するようにすることもできる。検出結果に従って，
検査したソースプログラムを自動修正することも可能で
ある。

【００１３】

【発明の実施の形態】図１は，本発明の概要説明図であ
る。図中，１はＣＰＵおよびメモリ等からなる処理装
置，２は検査対象のＣソースプログラム，３は検査条件
や抑止条件等の指定情報，４は検査結果の検出メッセー
ジ，５は自動修正した修正ソースプログラム，１０はＣ
ソースプログラムからコンパイラが準拠する言語の仕様
によって動作に差異のある箇所を検出するＣプログラム
検査部を表す。

【００１４】Ｃプログラム検査部１０は，Ｃソースプロ
グラム２を入力し，Ｃソースプログラム２の構文解析お
よび意味解析を行い，コンパイラが準拠する言語の仕様
によって動作に差異のあるパタンを検出する。このと
き，検査条件指定または抑止条件指定の指定情報３があ
れば，その条件に従って検出する。

【００１５】また，Ｃプログラム検査部１０は，Ｃソー
スプログラム２中で検出したパタンの部分を，コンパイ
ラが準拠する仕様が変わっても動作が変わらない記述，
または意図した所定の動作となるような記述に自動修正
する手段を持つ。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

【００３０】一般にＣプログラムの開発では，下記のケ
ースのいずれかを開発条件とすることが多い。［ケース１］コンパイラの仕様としてＫ＆Ｒのみ［ケース２］コンパイラの仕様として標準Ｃ（ＡＮＳ
Ｉ）のみ［ケース３］コンパイラの仕様としてＫ＆Ｒと標準Ｃ
（ＡＮＳＩ）また，char型の値の範囲についても開発条件としてい
る。

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

【００３２】図３（Ａ）は，コンパイラが準拠する仕様
に関する選択肢であり，検査者は「Ｋ＆Ｒのみ」，「Ａ
ＮＳＩのみ」，「Ｋ＆ＲとＡＮＳＩ」の３つの選択肢の
中からどれかを指定することができる。また，図３
（Ｂ）は，char型の値の範囲に関する選択肢であり，
「非負のみ」，「負もある」，「どれでも」の中から検
索条件を指定することができる。ここで，「Ｋ＆ＲとＡ
ＮＳＩ」および「どれでも」という条件が含まれる場合
には，いくつかの環境で検査対象のプログラムを動作さ
せたいというプログラム開発者の意思がある。そこで，
これらを含む条件の場合に動作が変わる箇所をプログラ
ムから検出する。

【００３３】検査条件は，図３（Ａ），（Ｂ）のそれぞ
れの場合の積だけ存在することになるので，検査条件
は，３×３＝９通りあることになる。また，不要な検出
メッセージ４を出力しないようにするため，または不要
な自動修正をしないようにするため，Ｃプログラムチェ
ッカ２０に対して，抑止条件を指定することもできる。
抑止条件の対象としては，ファイルとパタンを選択する
ことができ，対象ファイルの指定では，前述したパタン
があっても検出しないファイルおよびプログラムの行を
指定することができる。対象パタンの指定では，前述し
た(1) 〜(44)のパタンのうち，検出を抑止するパタンを
指定することができる。

【００３４】次に検査後の自動修正の例について説明す
る。図４は，Ｃソースプログラムについての自動修正の
例を示している。例えば検査対象が，図４に示すような
Ｃソースプログラム２であったとする。ここで，Ｋ＆Ｒ
仕様とＡＮＳＩ仕様とで動作を変えたくないものとす
る。

【００３５】このＣソースプログラム２について，前述
したパタン抽出を行うと「(11)unsigned short型あるい
はunsigned char 型と符号付整数型との＜，＜＝，＞，
＞＝，＊，／演算」のパタンが該当する。

【００３６】このプログラムでは，「i<us」の部分（ｉ
とusの値の比較結果) がＫ＆Ｒ仕様とＡＮＳＩ仕様とで
変わる。これは，Ｋ＆Ｒ仕様では，unsigned short型の
プロモーション後の型がunsigned型であるのに対し，Ａ
ＮＳＩ仕様では，int 型であることに起因する。そこ
で，Ｋ＆Ｒ仕様でもＡＮＳＩ仕様でも動作が変わらない
ようにするには，図４に示すような修正ソースプログラ
ム５に修正すればよい。すなわち，動作の差異をなくす
ために，「i<(int)us 」のように大小比較する変数の型
を予め整合させる。このような自動修正は，前記パタン
に対応したルーチンを用意することにより実現すること
ができる。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

【００５２】

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

【００５３】

【発明の効果】以上説明したように，本発明によれば，
コンパイラが準拠する言語の仕様が異なるため，コンパ
イル結果のプログラムの動作が変わる箇所を，自動的に
検出することができるので，各種のコンパイラに応じた
プログラムの開発が容易になり，動作誤りを未然に防止
することが可能になる。さらに，自動修正機能を設ける
ことによって，より一層の労力の軽減および信頼性の向
上が可能になる。

【図面の簡単な説明】

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

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

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

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

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

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

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

【符号の説明】

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

Claims

【特許請求の範囲】

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