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