文献

J-GLOBAL ID：201702262318757891   整理番号：17A0985543

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

Query language CXmlPyQuery for static analysis of C source code and its application

著者 (7件)： 岩間恵梨沙 (岩手県大 大学院ソフトウェア情報学研究科) ,  福原和哉 (岩手県大) ,  猪股俊光 (岩手県大 大学院ソフトウェア情報学研究科) ,  杉野栄二 (岩手県大 大学院ソフトウェア情報学研究科) ,  今井信太郎 (岩手県大 大学院ソフトウェア情報学研究科) ,  新井義和 (岩手県大 大学院ソフトウェア情報学研究科) ,  成田匡輝 (岩手県大 大学院ソフトウェア情報学研究科)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 117  号： 137(KBSE2017 1-20)  ページ： 125-131  発行年： 2017年07月12日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

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

シソーラス用語： C言語 ,  計算機コード ,  XML【マークアップ言語】 ,  *問い合わせ言語 ,  オブジェクト指向言語 ,  集合演算 ,  *特徴抽出 ,  コーディング ,  規則 ,  *プログラム解析
準シソーラス用語： ソースコード ,  Python言語 ,  パターン抽出 ,  コーディング規約 ,  規約 ,  静的解析

分類 (1件)： 計算機システム開発  (JD02010R)

引用文献 (7件)：

• ”Frama-c”. https://frama-c.com/, (参照 2017-6-11).
• ”Sapid Home Page (in Japanese)-CX-Checker”. http://www.sapid.org/index-ja.html, (参照 2017-6-11).
• 高橋耶真人, 福原和哉, 猪股俊光, 新井義和, 今井信太郎.パターン照合を用いた対話型静的検査ツールの開発. 電子情報通信学会ソサイエティ大会, A-9-1 (2012).
• 福原和哉, 高橋耶真人, 猪股俊光, 新井義和, 今井信太郎.組込みソフトウェア向けコーディング規約チェッカのためのカスタマイズの一方式. FIT2012 第11回情報科学技術フォーラム, c-024 (2012).
• MISRA-C 研究会. 組込み開発者におくる MISRA-C:2004-C言語利用の高信頼化ガイド-. 日本規格協会, 2006.

タイトルに関連する用語 (4件)： ソースコード ,  静的解析 ,  問い合わせ言語 ,  応用