false-positives

LLM可以为你的静态分析警告排序。只是无法解释原因。

大语言模型可以帮助分流静态分析中的误报，但它们无法像抽象解释那样理解程序语义。以下是如何将两者结合。