Umann, Kristóf, and Zoltán Porkoláb. 2020. “Detecting Uninitialized Variables in C++ With the Clang Static Analyzer”. Acta Cybernetica 25 (4), 923-40. https://doi.org/10.14232/actacyb.282900.