LLMs Podem Ordenar Seus Avisos de Análise Estática. Eles Simplesmente Não Podem Explicar Por Quê.
Large language models podem ajudar a triar falsos positivos de análise estática, mas não entendem a semântica do programa como faz a interpretação abstrata. Veja como combinar ambos.
