LLM могут ранжировать предупреждения статического анализа. Они просто не могут объяснить почему.
Большие языковые модели могут помочь в триаже ложноположительных срабатываний статического анализа, но они не понимают семантику программ так, как это делает abstract interpretation. Вот как совместить оба подхода.
