Abstract. We introduce Cibai a generic static analyzer based on abstract interpretation for the modular analysis and verification of Java classes. We present the abstract semantics and the underlying abstract domain, a combination of an aliasing analysis and octagons. We discuss some implementation issues, and we compare Cibai with similar tools, showing how Cibai achieves a higher level of automation and precision while having comparable performances.            1 Introduction         Object-oriented programming emphasizes the development by components. Components are written once and used in many, different contexts. Component reliability is a main issue in object-oriented development. Testing has been for long time the main approach for assuring component’s reliability. A popular approach is that of unit testing,       e.g.         JUnit [1], which allows to write test cases for single components, and then to “ validate ” … Read entire article »