of what is cibai???

What is Cibai??? It is a hot topic at Twitter. Bloggers are talking about it, from mrbrown to IZ.

This Cibai and this other GBuy can fight.

So what is Cibai? It is an abstract interpretation-based static analyzer for modular analysis and verification of Java classes.

Francesco Logozzo
January 2007

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.

The hokkien meaning of Cibai can be found here.