Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden: Debugging Static Analysis. IEEE DataPort 2022