K. Umann and Z. Porkoláb, “Detecting Uninitialized Variables in C++ with the Clang Static Analyzer”, Acta Cybern, vol. 25, no. 4, pp. 923-940, Nov. 2020.