Duong NGUYEN QUE
Several abstract domains are used in static program analysis. In this paper, we design a common interface for those different domains and libraries.
4_sec:generic_interface explains why a common generic interface for those domains and libraries is useful. It also contains the first comparison of existing interfaces. Our approach, described in 4_sec:HQ_interface, includes the description of an interface, called HQ, which was built based on our analysis of the compatibility problems raised by these interfaces. Then, in 4_sec:related_work, we present two related projects: APRON, to which we contributed HQ, and the Parma project. The main decisions made for APRON are discussed, and some comments on the Parma project are given. We conclude by comparing HQ and APRON.
, New POLKA, PPL and POLYLIB - Different Contexts