PulseAugur
实时 07:51:17
实体 Juliet v1.3

Juliet v1.3

PulseAugur coverage of Juliet v1.3 — every cluster mentioning Juliet v1.3 across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_215953 ·

    AI 框架 ARQ 精炼 CodeQL 查询以检测 C/C++ 漏洞

    研究人员开发了 ARQ,一个利用大型语言模型 (LLM) 自动精炼 CodeQL 查询以检测 C/C++ 程序中漏洞的新框架。这种代理方法利用合成程序的执行基础证据来识别和纠正现有查询中的假阳性和假阴性。ARQ 不需要标记数据集或提交历史,在真阳性检测方面取得了显著改进,最高可达 119.8%,同时保持至少 98.0% 的精确率。精炼后的查询还成功解决了 GitHub 上长期存在的问题,并发现了 libpng 和 zlib 等真实世界…