LLMs können Ihre Static-Analysis-Warnings ordnen. Sie können nur nicht erklären, warum.
Large Language Models können beim Triage von False Positives in der statischen Analyse helfen, aber sie verstehen Programmsemantik nicht so wie Abstract Interpretation. So kombinieren Sie beides.
