Umann, K. and Porkoláb, Z. 2020. Detecting Uninitialized Variables in C++ with the Clang Static Analyzer. Acta Cybernetica. 25, 4 (Nov. 2020), 923-940. DOI:https://doi.org/10.14232/actacyb.282900.