[1]
K. Umann and Z. Porkoláb, “Detecting Uninitialized Variables in C++ with the Clang Static Analyzer”, Acta Cybern, Nov. 2020.