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的觀點。批准公開發布，分銷無限。