Dynamically Generating Callback Summaries for Enhancing Static Analysis (Artifact) - Arzt, Steven; Miltenberger, Marc; Näumann, Julius; Steven Arzt and Marc Miltenberger and Julius Näumann (Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024)