GHORBAL KHALIL

Donut domains—efficient non-convex domains for abstract interpretation