Clang matchers for verified usage of the C++ Standard Template Library

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)

pdf AMI_44_from99to109.pdf Download (514kB)

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
Szerző:	Szerző neve MTMT azonosító ORCID azonosító Közreműködés Horváth, Gábor NEM RÉSZLETEZETT NEM RÉSZLETEZETT Szerző Pataki, Norbert NEM RÉSZLETEZETT NEM RÉSZLETEZETT Szerző
Megjegyzés:	Selected papers of the 9th International Conference on Applied Informatics
Kapcsolódó URL-ek:	Folyóirat honlapja
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

Műveletek (bejelentkezés szükséges)

Tétel nézet