1 definition by lightyoruichi

Top Definition
Cibai: An abstract interpretation-based static analyzer for modular analysis and verification of Java classes
by 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.

reference:
by lightyoruichi May 19, 2009

Free Daily Email

Type your email address below to get our free Urban Word of the Day every morning!

Emails are sent from daily@urbandictionary.com. We'll never spam you.

×