Microsoft新科技: Cibai

今天, 在读Josh Lim的博客看到这文章: Microsoft Cibai!

Microsoft Cibai

怎么Microsoft这次会这么笨呢? 难道他们就没有华人程序员吗?

Cibai: An abstract interpretation-based static analyzer for modular analysis and verification of Java classes
Francesco Logozzo
1 January 2007

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.

真想去认识这位Francesco Logozzo呀! 我想当这系统在亚洲发行时, 就不知道有多少人会说”Cibai坏了! Cibai当了, 不动了!”

相关文章:

1. 黄族之永远回忆录3周年 黄族之永远回忆录要庆祝3周年了. 感谢各位兄弟姐妹般的读者呀. 谢谢你们的支持呀....
2. WordPress 3.1.1 因为见识到黑客的厉害, 所以决定更新黄族之永远回忆录博客到WordPress最新版本3.1.1. 希望可以避免被黑吧....
3. iPhone Cydia的SBSettings 向大家介绍一个Cydia的软件包. 它是BigBoss的SBSettings软件. 这软件是让我们不用每次去按iPhone的Settings,...