#PrimeVul

测了11个模型发现：静态分析说“检查过了”，模型就真信，漏洞检出率掉19个点，论文还给了个修复方法。