Los LLM pueden ordenar tus advertencias de análisis estático. Simplemente no pueden explicar por qué.
Los large language models pueden ayudar a triagear falsos positivos del análisis estático, pero no entienden la semántica del programa como lo hace la interpretación abstracta. Así es como combinar ambos.
