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.
Static analyzer Anda baru saja mengeluarkan 847 peringatan pada hari Jumat sore. Anda tahu, secara statistik, bahwa di suatu tempat antara 5% dan 15% dari…