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