Introducing Cibai, A Microsoft Research Project

209 views
Skip to first unread message

Eli

unread,
Oct 24, 2011, 6:14:11 AM10/24/11
to nusha...@googlegroups.com
No idea how I missed this:

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.



:D 

Soares Chen

unread,
Oct 24, 2011, 6:27:16 AM10/24/11
to nusha...@googlegroups.com
LOL OMG that's so funny! I first thought it's a spam when I saw the title. :P

James Yong

unread,
Oct 24, 2011, 6:38:03 AM10/24/11
to nusha...@googlegroups.com
Not an april fool's joke?

Best Regards,
James

"Brick walls are there to keep out those who do not want it badly enough." - Dr Randy Pausch

Laurence Putra Franslay

unread,
Oct 24, 2011, 6:46:27 AM10/24/11
to nusha...@googlegroups.com
LOL

Tay Ray Chuan

unread,
Oct 24, 2011, 7:18:28 AM10/24/11
to nusha...@googlegroups.com
Yeah, it's very similar to a expletive in a common dialect.
-- Cheers,Ray Chuan

On Mon, Oct 24, 2011 at 6:27 PM, Soares Chen <c...@hypershell.org> wrote:

Rahul AG

unread,
Oct 24, 2011, 8:58:10 AM10/24/11
to nusha...@googlegroups.com
First thing I thought of when I saw it was "this better not be the
real name of a project"…

-Rahul

Reply all
Reply to author
Forward
0 new messages