false-positives

LLMs Can Rank Your Static Analysis Warnings. They Just Can't Explain Why.

Large language models can help triage static analysis false positives, but they don't understand program semantics the way abstract interpretation does.