LLM Dapat Mengurutkan Peringatan Analisis Statis Anda. Mereka Hanya Tidak Dapat Menjelaskan Mengapa.
Large language model dapat membantu triase positif palsu analisis statis, tetapi mereka tidak memahami semantik program seperti abstract interpretation. Berikut cara menggabungkan keduanya.
