Art

J-GLOBAL ID：201702262318757891   Reference number：17A0985543

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

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

Author (7)： IWAMA ERISA (岩手県大 大学院ソフトウェア情報学研究科) ,  FUKUHARA KAZUYA (岩手県大) ,  INOMATA YOSHIMITSU (岩手県大 大学院ソフトウェア情報学研究科) ,  SUGINO EIJI (岩手県大 大学院ソフトウェア情報学研究科) ,  IMAI SHINTARO (岩手県大 大学院ソフトウェア情報学研究科) ,  ARAI YOSHIKAZU (岩手県大 大学院ソフトウェア情報学研究科) ,  NARITA MASAKI (岩手県大 大学院ソフトウェア情報学研究科)
Material： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
Volume： 117  Issue： 137(KBSE2017 1-20)  Page： 125-131  Publication year： Jul. 12, 2017 
JST Material Number： S0532B  ISSN： 0913-5685  Document type： Proceedings
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： C language ,  computer code ,  XML ,  *query language ,  object-oriented language ,  set operation ,  *feature extraction ,  coding (program) ,  rule ,  *program analysis ,  source code ,  Python language ,  static code analysis
Semi thesaurus term： pattern extraction ,  コーディング規約 ,  rule ,  static analysis

JST classification (1)： Computer system development  (JD02010R)

Reference (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.

Terms in the title (4)： ソースコード ,  静的解析 ,  問い合わせ言語 ,  応用