What a name to use... Cibai for a codename by Microsoft.
*Cibai - "In hokkien (one of the chinese dialect), it means woman's private part. Used when cursing or fighting with another person."
See here .
Cibai: An abstract interpretation-based static analyzer for modular analysis and verification of Java classes
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.
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment