Art

J-GLOBAL ID：201602266992886260   Reference number：16A1289414

A Code Checker That Uses Tree Patterns Reflecting the Structures of Rule Violation Code

規則違反コードの構造を反映した木パタンを用いるコード検査器

Author (3)： NAKAMURA SHIN'YA (がんばりや) ,  UGAWA TOMOHARU (高知工科大) ,  UMATANI SEIJI (京大 大学院情報学研究科)
Material： 情報処理学会論文誌トランザクション プログラミング(Web)  (情報処理学会論文誌 プログラミング(Web))
Volume： 9  Issue： 4  Page： 1-15 (WEB ONLY)  Publication year： Sep. 12, 2016 
JST Material Number： U0474A  ISSN： 1882-7802  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *debugging ,  *software failure ,  security ,  *coding (program) ,  syntactic analysis ,  *program correctness ,  *program verification

JST classification (1)： Other system programmings  (JD03070M)

Reference (17)：

• Brunel, J., Doligez, D., Hansen, R.R., Lawall, J.L. and Muller, G.: A Foundation for Flow-based Program Matching: Using Temporal Logic and Model Checking, Proc. 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL ’09, pp.114-126 (2009).
• Furr, M. and Foster, J.S.: Polymorphic type inference for the JNI, Proc. 15th European conference on Programming Languages and Systems, pp.309-324 (2006).
• Gregor, D. and Schupp, S.: STLlint: lifting static checking from languages to libraries, Software: practice and experience, Vol.36, No.3, pp.225-256 (2006).
• Guntli, C.: Architecture of clang, available from http://wiki.ifs.hsr.ch/SemProgAnTr/files/Clang Architecture - ChristopherGuntli.pdf (2011).
• Horváth, G. and Pataki, N.: Clang Matchers for Verified Usage of the C++ Standard Template Library, Eötvös Loránd University (2015).

Terms in the title (4)： 規則 ,  木 ,  パタン ,  検査