パターンマッチングに基づいたCプログラムの落し穴検出法

概要

論文の詳細を見る
C言語は柔軟な構造を持ち,コンパクトで高速なプログラムを書くことができる.しかし,コンパイルは成功しても構文上の些細な相違等に由来する誤記(落し穴)により,実際の動作がプログラマの意図と異なる場合がある.我々は,Cプログラムの落し穴を検出するためのソフトウェアツールFall-in Cを開発している.既存の落し穴検出ツールとしてlint等が存在するが,Fall-in Cは,エディタEmacs上で実行されるため,ツールの呼び出しから落し穴の表示,修正に至る一連の動作がエディタ上で即座に行える.また,落し穴の検出にパターンマッチングを用いているため,アドホックな落し穴項目に対する拡張性が高い.本稿ではFall-in Cの落し穴検出法を示して,その評価を行う.Fall-in Cは,正規表現検索と構文パターンマッチングを併用して落し穴を検索する.落し穴検出に正規表現検索を用いた場合,構文的な落し穴検出において誤検出が生じるが,字句解析上の落し穴は高速に正しく検出できる.また,構文パターンマッチングを用いた検出は字句解析上の落し穴のいくつかを検出できないが,構文的な落し穴検出における誤検出は生じない,180個(約2.9MB)のファイルを用いて本落し穴検出法を評価したところ,16項目の落し穴を正しく検出できた.
1994-11-15

パターンマッチングに基づいたCプログラムの落し穴検出法

スポンサーリンク

概要

著者

関連論文

スポンサーリンク