The definition of Cibai may vary depending on who you ask. If you talk to a Microsoft researcher, they will tell you it’s an “abstract interpretation-based static analyzer for modular analysis and verification of Java classes”. Cibai is the name of a product developed by the Microsoft research team. On the other hand, if you ask [...]