Horváth, Gábor, Pataki, Norbert (2015) Clang matchers for verified usage of the C++ Standard Template Library Annales Mathematicae et Informaticae. 44. pp. 99-109. ISSN 1787-5021 (Print), 1787-6117 (Online)
![[thumbnail of AMI_44_from99to109.pdf]](http://publikacio.uni-eszterhazy.hu/style/images/fileicons/text.png) |
pdf
AMI_44_from99to109.pdf Download (514kB) [error in script] |
Absztrakt (kivonat)
The C++ Standard Template Library (STL) is the exemplar of generic libraries. Professional C++ programs cannot miss the usage of this standard library because it increases quality, maintainability, understandability and efficacy of the code. However, the usage of C++ STL does not guarantee error-free code. Contrarily, incorrect application of the library may intro- duce new types of problems. Unfortunately, there is still a large number of properties are tested neither at compilation-time nor at run-time. It is not surprising that in implementation of C++ programs so many STL-related bugs are occurred. We match patterns on abstract syntax trees (AST) with the help of predicates. The predicates can be combined and define an embedded language. We have developed a tool which finds the potential missuses of the STL as a validation of our approach. The software takes advantage of the Clang ASTMatcher technology. The tool is in-use in Ericsson. We advise new matchers that have get into the Clang code base. Keywords: C++ STL, generic programming, Clang, AST, static analysis, code validation
| Mű típusa: | Folyóiratcikk - Journal article |
|---|---|
| Szerző: | Szerző neve Email MTMT azonosító ORCID azonosító Közreműködés Horváth, Gábor NEM RÉSZLETEZETT NEM RÉSZLETEZETT NEM RÉSZLETEZETT Szerző Pataki, Norbert NEM RÉSZLETEZETT NEM RÉSZLETEZETT NEM RÉSZLETEZETT Szerző |
| Megjegyzés: | Selected papers of the 9th International Conference on Applied Informatics |
| Kapcsolódó URL-ek: | |
| Nyelv: | angol |
| Kötetszám: | 44. |
| ISSN: | 1787-5021 (Print), 1787-6117 (Online) |
| Felhasználó: | Tibor Gál |
| Dátum: | 27 Feb 2019 18:32 |
| Utolsó módosítás: | 27 Feb 2019 18:32 |
| URI: | http://publikacio.uni-eszterhazy.hu/id/eprint/2984 |
 |
Tétel nézet |
