What Is Cibai

CIBAI
An Abstract Interpretation-Based Static
Analyzer for Modular Analysis and Verification
of Java Classes

For more information,
visit http://research.microsoft.com/pubs/78035/vmcai07.pdf