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)

[img] 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ő neveMTMT azonosítóORCID azonosítóKözreműködés
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
Műveletek (bejelentkezés szükséges)
Tétel nézet Tétel nézet