基于抽象解释理论的类不变量静态分析器

以上网页图档拦截自微软研发

微软开发了一套根据抽象解释理论（Abstract Interpretation）为基础的静态分析器，作为JAVA部类的验证和模组分析。这个分析器的全名是『Class Invariants By Abstract Interpretation』，简称 CIBAI。德国科技出版社施普林格（Springer Verlag）于2007年一月份发布研发报告至今三年，整个微软没人告诉盖茨是怎么一回事。这就像在全马夜市摆卖猪肠粉的马来小贩，从来没有一位谙中文的华人会告诉他们『Chee cheong fan』是什么意思那样……有人说，互联网拉近人与人的距离，西西留不以为然，上面就是最好的例子。