大会名称 |
---|
2020年 情報科学技術フォーラム(FIT) |
大会コ-ド |
F |
開催年 |
2020 |
発行日 |
2020-08-18 |
セッション番号 |
4b |
セッション名 |
ソフトウェア |
講演日 |
2020/09/02 |
講演場所(会議室等) |
b |
講演番号 |
B-008 |
タイトル |
Cソースコード静的解析のための問い合わせ言語CxmlPyQueryの改良と評価 |
著者名 |
河合勇太朗, 福原和哉, 猪股俊光, 杉野栄二, 今井信太郎, 新井義和, 成田匡輝, |
キーワード |
静的解析, XML, 問い合わせ言語 |
抄録 |
組込みソフトウェア開発の現場では信頼性や開発効率向上のために社内独自のコーディング規約を用いることが多い. そのため,われわれは,C言語のソースコードをXML形式で表現したファイルに対して,バグ・パターンの検出やコーディング規約の検査を行うための問い合わせ言語を設計し,それに基づき動作する解析ツールを開発した.本研究では,従来の問い合わせ言語では解析が難しかった課題を解消するため、問い合わせ言語ならびに解析ツールの改良を試みた.そして,C言語の各種コーディング規約に適当することで表現能力の向上を確認するとともに,標準コーディング規約には含まれていないルールに対する表現能力の評価も行った. |
本文pdf |
PDF download (260.9KB) |