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