Umann Kristóf and Porkoláb Zoltán: Detecting uninitialized variables in C++ with the Clang static analyzer. In: Acta cybernetica, (25) 4. pp. 923-940. (2022)
Preview |
Cikk, tanulmány, mű
cybernetica_025_numb_004_923-940.pdf Download (503kB) | Preview |
Abstract
Uninitialized variables have been a source of errors since the beginning of software engineering. Some programming languages (e.g. Java and Python) will automatically zero-initialize such variables, but others, like C and C++, leave their state undefined. While laying aside initialization in C and C++ might be a performance advantage if an initial value can't be supplied, working with such variables is an undefined behavior, and is a common source of instabilities and crashes. To avoid such errors, whenever meaningful initialization is possible, it should be used. Tools for detecting these errors run time have existed for decades, but those require the problematic code to be executed. Since in many cases the number of possible execution paths are combinatoric, static analysis techniques emerged as an alternative. In this paper, we overview the technique for detecting uninitialized C++ variables using the Clang Static Analyzer, and describe various heuristics to guess whether a specific variable was left in an undefined state intentionally. We implemented a prototype tool based on our idea and successfully tested it on large open source projects.
| Item Type: | Article |
|---|---|
| Journal or Publication Title: | Acta cybernetica |
| Date: | 2022 |
| Volume: | 25 |
| Number: | 4 |
| ISSN: | 2676-993X |
| Page Range: | pp. 923-940 |
| Language: | English |
| Publisher: | University of Szeged, Institute of Informatics |
| Place of Publication: | Szeged |
| Related URLs: | https://acta.bibl.u-szeged.hu/86901/ |
| DOI: | 10.14232/actacyb.282900 |
| Uncontrolled Keywords: | Programanalízis, Programozási nyelv - C++ - fejlesztés, Statikus kódelemzés, Hibakeresés, Szoftverbiztonság |
| Additional Information: | Bibliogr.: p. 938-940. ; összefoglalás angol nyelven |
| Subjects: | 01. Natural sciences 01. Natural sciences > 01.02. Computer and information sciences |
| Date Deposited: | 2025. Apr. 15. 12:40 |
| Last Modified: | 2025. Apr. 15. 12:40 |
| URI: | http://acta.bibl.u-szeged.hu/id/eprint/86961 |
Actions (login required)
 |
View Item |
