Atur cara mengikut cite-effect.sf.net

cite-effect membantu memahami, mengesahkan dan memuktamadkan program melalui analisis statik. Selepas membina pangkalan data, ia melaporkan akses pembolehubah dalam pokok panggilan, dalam format teks yang sesuai untuk integra