yapall

LLVM的另一个指针分析

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

• 通过精确处理间接函数呼叫和虚拟方法调用创建呼叫图
• 精确的术间控制和数据流分析
• 回答May-Ailias查询

Yapall对可配置的K，田间，阵列和流动不敏感的K-CallSite对敏感，并且可以在直接的呼叫构造中执行。 Yapall是使用上升编写的，因此高度平行。

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

致谢

该材料基于国防高级研究项目局（DARPA）根据N66001-21-C-4023的合同支持的工作。本材料中表达的任何观点，发现和结论或建议都是作者的意见，不一定反映了DARPA的观点。

分配

分销声明A.批准公开发行：分发无限。