Gw mau tau Trivia dari Cibai. Jelasin 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.