Saya mau tau Trivia dari Cibai. Jelaskan dalam bahasa melayu

Microsoft Research mempunyai sebuah penerbitan yang diberikan nama 'Cibai'. Cibai ialah sebuah penganalisis statik generik yang berdasarkan pentafsiran abstrak untuk analisis modular dan pengesahan kelas-kelas Java.