Coba jelasin Trivia dari Cibai dalam bahasa melayu dong

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.