Neuro-Symbolic Indirect-Call Analysis under Opaque Pointers

Facet 提出了一种针对 LLVM 不透明指针的间接调用分析方法，通过分别恢复结构字段与赋值函数并按字段身份合并，在 14 个 C 程序上将目标集大小从 25.9 降至 5.2，召回率从 0.79 提升至 0.99。该分析在 98.1% 的联合解析点上与带类型 IR 一致，并发现 17 个深层缺陷，其中 12 个被确认。