WEKO3
アイテム
正規表現によるCプログフムの落し穴検出ツール
https://ipsj.ixsq.nii.ac.jp/records/22163
https://ipsj.ixsq.nii.ac.jp/records/22163b7d258ed-e80b-4b04-96b5-5da5f49aeb80
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE92086007.pdf (1.3 MB)
|
Copyright (c) 1992 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1992-07-20 | |||||||
| タイトル | ||||||||
| タイトル | 正規表現によるCプログフムの落し穴検出ツール | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | A Pitfall Detection Tool for C Programs by Regular Expression Search | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 佐賀大学情報科学科 | ||||||||
| 著者所属 | ||||||||
| 佐賀大学情報科学科 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Information Science, Saga University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Information Science, Saga University | ||||||||
| 著者名 |
掛下, 哲郎
× 掛下, 哲郎
|
|||||||
| 著者名(英) |
Tetsuro, Kakeshita
× Tetsuro, Kakeshita
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | C言語は柔軟な構造を持ち、コンパクトで高速なプログラムを書くことができる。しかし、コンパイルは成功しても、実際の動作がプログラマの意図と異なる場合がある。このようなバグを落し穴と呼ぶ。本研究では、Cプログラムの落し穴を検出するためのソフトウェアツールを開発した。本ツールは、プログラミングの単純さと保守の点から落し穴の検出に正規表現検索を用いる。また、発見した落し穴を即座に修正できるようにツールはエディタ GNU Emacs上でEmacs Lispを利用して作成した。検索対象の落し穴は、（） 条件判定部における代入文、（） 字句解析の落とし穴、（） 整数定数における基数、（） 文字列と文字定数、（） 演算子の優先度、（） 余分（不足した）セミコロン、（） break文で終了しないcaseラベル、（） 関数呼び出し、（） ぶらさがりelse、がある。本ツールの検証も合わせて行なっている。 | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Programming language C has a flexible structure, and its compiler provides us with compact and efficient object codes. But the compiler cannot detect some types of bugs hidden in the program. We developed a software tool to detect such types of bugs, or pitfalls, in C programs. This paper describes the outline of the tool. We utilize regular expression search for simplicity of the development and for the ease of maintenance. In order to enable a programmer to correct the detected pitfalls immediately, we built the tool into the GNU Emacs editor. The tool can detect the following types of pitfalls (1) assignment statement within conditional part, (2) lexcal analysis errors, (3) radix errors, (4) string and character, (5) priority of operators, (6) extra (or dropped) semicolon, (7) case labels with outbreak, (8) function evaluation without argument list, (9) dangling else. We also evaluated the tool by applying it against 2.9 MB of source files. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10112981 | |||||||
| 書誌情報 |
情報処理学会研究報告ソフトウェア工学（SE） 巻 1992, 号 59(1992-SE-086), p. 43-50, 発行日 1992-07-20 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
