2 thoughts on “Introducing Cibai!”

  1. LOL WTF..these guys ah…don’t they ever do a name-trend survey (forgot what are they called, damn you marketing class) before naming the whole survey XD;;

  2. Official Explanation from the Microsoft Researcher who developed CIBAI, Francesco Logozzo: “This is an old project I made when I was at university. I do not maintain it anymore, and the name stands for “Class Invariants By Abstract Interpretation” (CIBAI) “.
    heh, It’s still WTF-y that they didn’t do a google of the name before using it.

Comments are closed.