Book
Open access
Oct 2026
Inferring Numerical Abstract Domain Types from Concrete Program States
The effectiveness of interpretation-based numerical analyses depends on the choice of abstract domain. Domains such as Zones and Octagons differ in expressiveness and cost, so the goal is to identify the least expressive domain that is sufficient for a given analysis context. The challenge is that this choice varies ac...
Kenny Ballou, Teddy Moore, Elena Sherman
· 0 citations