The objectives of a common interface is to identify the fundamental functionalities that an abstract domain used in static analyzers must supply, then to design a concrete API with data types, functional signatures and their semantic definitions, and finally its implementation. This interface should be generic and must satisfy the need of APRON's members.
In the context of APRON, since performance is important, simplicity and minimality can be sacrificed. Furthermore, the needed modifications to the existing implementations should be minimal, thus the common interface might not be optimized. Bertrand JEANNET has proposed a common interface and implemented a prototype which can be found at APRON's site [APRb].