Aleksandar S. Dimovski, Sven Apel: Tool Artifact for "Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation". Zenodo 2021