5L-4
XML形式を用いたC言語用静的解析ツールの開発
○堀江佑太，福原和哉，今井信太郎，新井義和，猪股俊光（岩手県大）
既存のC言語用静的解析ツールを用いた検査ではコードレビューよりも
高速かつ高精度な検査が行えるが，ツールが対応していない分析モデルを
必要とする検査項目への対応が困難である．
また，ソースコード解析器やルール検査器が単体で提供されておらず，
独自の検査ツールの実装を行う際には個別にソースコード解析器や検査器の
実装が必要となる．
我々はこの問題を解決するために，再利用性の高いソースコード解析手法を
考案した．
考案手法は，ソースコードを解析して共通のモデルを生成する解析器，共通の
モデルを検査用のモデルに変換する変換器，検査用のモデルを用いて検査を
行う検査器の3つから構成されており，各解析器は独立したツールとして実装
され，解析モデルはXML形式で扱われる．