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.
Your static analyzer just emitted 847 warnings on a Friday afternoon. You know, statistically, that somewhere between 5% and 15% of them are real bugs. The…