2026年8月7日 LLM可以為你的靜態分析警告排序。只是無法解釋原因。 大語言模型可以幫助分流靜態分析中的誤報,但它們無法像抽象詮釋那樣理解程式語義。以下是如何將兩者結合。 abstract-interpretationllmstatic-analysisfalse-positives