Improved Loop Execution Modeling in the Clang Static Analyzer. - Péter György Szécsi; Gábor Horváth 005; Zoltán Porkoláb (Acta Cybern., 2021)