cclyzerpp

cclyzer ++

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

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

Cclyzer ++对字段和数组敏感，执行直接呼叫图构造，并支持上下文敏感性的许多不同配置，包括k -callsite敏感性。它具有基于子集的（Andersen样式）和基于统一的（Steensgaard样式）分析。 Cclyzer ++写在蛋soufflédatalog中，因此高度平行。 Cclyzer ++衍生自CClyzer。

有关CCZLYER ++的更多信息，包括其输出示例，请参见文档。文档也可以在线提供。

如果您在自己的工作中使用cclyzer ++，请包括以下引用：

• 兰斯顿·巴雷特（Langston Barrett）和斯科特·摩尔（Scott Moore）。 “ CClyzer ++：LLVM的可扩展和精确的指针分析。” https://galois.com/blog/2022/08/cclyzer-scalable-and-precise-pointer-pointer-analysis-for-llvm/。 2022。
• George Balatsouras和Yannis Smaragdakis。 “ C和C ++的结构敏感分析。”在静态分析中：第23届国际研讨会，SAS 2016，英国爱丁堡，2016年9月8日至10日，会议记录23，第84-104页。施普林格柏林海德堡，2016年。

致谢

该材料基于美国空军和国防高级研究项目局（DARPA）根据FA8750-19-C-0004的合同支持的工作。本材料中表达的任何意见，发现和结论或建议都是作者的意见，不一定反映美国空军或DARPA的观点。批准公开发布，分销无限。