Horváth, G., Kovács, R.N. and Szécsi, P. 2020. Report on the Differential Testing of Static Analyzers. Acta Cybernetica. 25, 4 (Oct. 2020), 781-795. DOI:https://doi.org/10.14232/actacyb.282831.