热点事件持续更新
Facet:面向LLVM不透明指针的间接调用分析
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
Facet 是一种针对 LLVM 不透明指针的间接调用分析方法,通过分别恢复结构字段与赋值函数并按字段身份合并,在 14 个 C 程序上将目标集大小从 25.9 降至 5.2,召回率从 0.79 提升至 0.99。该分析在 98.1% 的联合解析点上与带类型 IR 一致,并发现 17 个深层缺陷,其中 12 个被确认。
AI 根据报道生成 · 1 小时前更新
最新进展10月1日 12:00
Facet 在 14 个 C 程序上显著缩小目标集并提升召回率,且发现 17 个深层缺陷,其中 12 个被确认。报道时间线
沿着报道,了解事件的不同侧面。
10月1日
- arXiv · Software EngineeringNeuro-Symbolic Indirect-Call Analysis under Opaque Pointers
Facet 提出了一种针对 LLVM 不透明指针的间接调用分析方法,通过分别恢复结构字段与赋值函数并按字段身份合并,在 14 个 C 程序上将目标集大小从 25.9 降至 5.2,召回率从 0.79 提升至 0.99。该分析在 98.1% 的联合解析点上与带类型 IR 一致,并发现 17 个深层缺陷,其中 12 个被确认。
本事件热度走势
还没有足够的连续观测数据,暂不绘制趋势。