Walker News

The Microsoft Cibai Technology!

If Microsoft Research presents the Cibai program to China, Hong Kong, Taiwan, and in fact any markets with Chinese community, I bet most of them will laugh. Probably, the name of the concept will be a hot topic to debate.

I just stumble upon an archive post by Springer Verlag in Microsoft Research, with such a long title for a rather short content with a PDF attachment, Cibai: An abstract interpretation-based static analyzer for modular analysis and verification of Java classes.

Microsoft Research introduce the Cibai tool to analyze Java classes.

Custom Search

2018  •  Privacy Policy