Cソースコード静的解析のための問い合わせ言語CXmlPyQueryとその応用

摘要

本研究ではC言語のソースコードをXML形式で表現したファイルに対して，簡単かつ柔軟に要素検索を行うための問合わせ言語CXmlPyQueryを設計し，実装した．この言語は，Pythonを基にした問い合わせ言語であり，検索した要素集合に対して各種集合演算を行うことにより，ソースコード中の特定のパターンを検出することができる．応用として，コーディング規約の検査への適用例を示す．