B-008
Cソースコード静的解析のための問い合わせ言語CxmlPyQueryの改良と評価

◎河合勇太朗・福原和哉・猪股俊光・杉野栄二・今井信太郎・新井義和・成田匡輝（岩手県大）

組込みソフトウェア開発の現場では信頼性や開発効率向上のために社内独自のコーディング規約を用いることが多い. そのため，われわれは，C言語のソースコードをXML形式で表現したファイルに対して，バグ・パターンの検出やコーディング規約の検査を行うための問い合わせ言語を設計し，それに基づき動作する解析ツールを開発した．本研究では，従来の問い合わせ言語では解析が難しかった課題を解消するため、問い合わせ言語ならびに解析ツールの改良を試みた．そして，C言語の各種コーディング規約に適当することで表現能力の向上を確認するとともに，標準コーディング規約には含まれていないルールに対する表現能力の評価も行った．