Microsoft's Cibai

According to a Microsoft research paper, this piece (of software, I hope) is "an abstract interpretation-based static analyzer for modular analysis and verification of Java classes" ... whatever it means. All I know is that it has given rise (sic) to a plethora of jokes. on the Internet. The person who wrote the software was inspired enough to come up with this nice, warm name of ... Cibai.


Who, in this part of the world, doesn't know what it means? In case you are still as clueless as the researcher, the Cibai is that warm fuzzy software part of the woman's anatomy below her bikini line. Get it? You don't? Oh...you do! Finally!

Juicier yet, try keeping a straight face when reading what the researcher did with it: "...we compare Cibai with similar tools, showing how Cibai achieves a higher level of automation and precision while having comparable performances."