yapall

LLVM的另一個指針分析

Yapall是LLVM的精確且可擴展的指針分析。 Yapall的輸出可用於各種程序分析任務，包括：

• 通過精確處理間接函數呼叫和虛擬方法調用創建呼叫圖
• 精確的術間控制和數據流分析
• 回答May-Ailias查詢

Yapall對可配置的K，田間，陣列和流動不敏感的K-CallSite對敏感，並且可以在直接的呼叫構造中執行。 Yapall是使用上升編寫的，因此高度平行。

有關更多信息，請參見文檔。

致謝

該材料基於國防高級研究項目局（DARPA）根據N66001-21-C-4023的合同支持的工作。本材料中表達的任何觀點，發現和結論或建議都是作者的意見，不一定反映了DARPA的觀點。

分配

分銷聲明A.批准公開發行：分發無限。