1. The Need for a Generic Interface

In this section, we try to identify all the existing problems blocking the way towards a framework in which codes written for different abstract domains can be reused between abstract interpreters. In the first subsection, we describe our motivation for a common interface with a short background. Then important issues are followed in the next six subsections, and in the end the section conclusion.