Goblint: A Portfolio for Mixed Flow-Sensitive Abstract Interpretation (Competition Contribution) accepted at TACASJan 20, 2026Goblint: A Portfolio for Mixed Flow-Sensitive Abstract Interpretation (Competition Contribution) accepted to appear at TACAS 2026.