If you don’t already already know, Microsoft has a research project called ‘Cibai’ (link). Apparently, its “an abstract interpretation-based static analyzer for modular analysis and verification of Java classes”.
So today I present you this book:
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.
News dari Microsoft: Here
So What do u think eh??Then look at this..hahaha..
Ada yang lebih real di dalam..
Sumber OhTidak.com dan zestful
No comments:
Post a Comment