Art

J-GLOBAL ID：202002250245559231   Reference number：20A0267258

SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs

スプリンター:C++プログラムにおけるスマートポインタエラー発見のための静的チェッカー【JST・京大機械翻訳】

Author (5)： Ma Xutong (Institute of Software, Chinese Academy of Sciences) ,  Yan Jiwei (Institute of Software, Chinese Academy of Sciences) ,  Li Yaqi (Institute of Software, Chinese Academy of Sciences) ,  Yan Jun (Institute of Software, Chinese Academy of Sciences) ,  Zhang Jian (Institute of Software, Chinese Academy of Sciences)
Material： IEEE Conference Proceedings  (IEEE Conf Proc)
Volume： 2019  Issue： ASE  Page： 1122-1125  Publication year： 2019 
JST Material Number： W2441A  Document type： Proceedings
Article type： 原著論文  Country of issue： United States (USA)  Language： ENGLISH (EN)

Abstract/Point： Smart pointers are widely used...

Register(free) or Log In to access     To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=20A0267258&from=J-GLOBAL&jstjournalNo=W2441A") }}

Thesaurus term： editing ,  software failure ,  memory (computer) ,  *C++ language ,  programmer ,  pointer ,  open source software
Semi thesaurus term： オープンソース , 【Automatic Indexing@JST】

JST classification (2)： Graphic and image processing in general  (JE04010I) ,  Code theory  (ND02030R)

Terms in the title (3)： C++ ,  発見 ,  チェッカー