false-positives

LLMは静的解析の警告を優先順位付けできる。ただし、なぜかは説明できない

大規模言語モデルは静的解析の偽陽性の選別に役立つが、抽象解釈のようにプログラムの意味論を理解しているわけではない。両者を組み合わせる方法を解説する。