Goblint: A Portfolio for Mixed Flow-Sensitive Abstract Interpretation (Competition Contribution)

Simmo Saan, Ali Rasim Koçal, Michael Petter, Karoliine Holter, Julian Erhard, Michael Schwarz, Vesal Vojdani, Helmut Seidl

April 2026