Automatic Modular Abstractions for Linear Constraints

David Monniaux

We propose a method for automatically generating abstract transformers for static analysis by abstract interpretation. The method focuses on linear constraints on programs operatin…