为 LLVM 的另一种指针分析

Yapall 是一个针对 LLVM 的精确且可扩展的指针分析工具。Yapall 的输出可用于各种程序分析任务，包括

• 创建具有精确处理间接函数调用和虚方法调用的调用图
• 精确的跨过程控制和数据流分析
• 回答可能别名查询

Yapall 对 k 个调用点敏感，对于可配置的 k，字段、数组和流程不敏感，并执行即时调用图构建。Yapall 使用 Ascent 编写，因此具有高度的并行性。

有关更多信息，请参阅 文档。

致谢

本材料基于由国防高级研究计划局（DARPA）在合同编号 N66001-21-C-4023 下支持的工作。本材料中表达的意见、发现、结论或建议均为作者的观点，不一定反映 DARPA 的观点。

分发

分发状态 A。批准公开发布：分发不受限制。