今天, 在读Josh Lim的博客看到这文章: Microsoft Cibai!
众所周知, Cibai是我们华人口中的女性性器官. 通常是我们拿来骂人的呀!
怎么Microsoft这次会这么笨呢? 难道他们就没有华人程序员吗? 
Cibai: An abstract interpretation-based static analyzer for modular analysis and verification of Java classes
Francesco Logozzo
1 January 2007We 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.
真想去认识这位Francesco Logozzo呀! 我想当这系统在亚洲发行时, 就不知道有多少人会说”Cibai坏了! Cibai当了, 不动了!” 
LOL so you will hear dialogue from fighting couple, hubby will say : “everyday i back office also face to -Cibai- and back home you gimme see #ibai face, i will get heart attack coz of all Cibais!” 8)
hahahahahahahaha! i’m loose my emo already…