Report on the Differential Testing of Static Analyzers. - Gábor Horváth 005; Réka Nikolett Kovács; Péter Szécsi (Acta Cybern., 2021)