yapall

LLVMのさらに別のポインター分析

Yapallは、LLVMの正確でスケーラブルなポインター解析です。 Yapallの出力は、次のようなさまざまなプログラム分析タスクに使用できます。

• 間接関数呼び出しと仮想メソッド呼び出しの正確な処理を伴うコールグラフの作成
• 正確な操縦間制御およびデータフロー分析
• 5月のアリアスの質問に答える

Yapallは、構成可能なK、フィールド、アレイ、およびフローインスセンシティブにK-CallSiteに敏感であり、オンザフライのCallGraph構造を実行します。 Yapallは上昇を使用して書かれているため、非常に平行です。

詳細については、ドキュメントを参照してください。

謝辞

この資料は、契約番号N66001-21-C-4023に基づいて、防衛先進研究プロジェクト局（DARPA）がサポートする作業に基づいています。この資料で表明された意見、調査結果、結論、または勧告は著者のものであり、必ずしもDARPAの見解を反映しているわけではありません。

分布

配布ステートメントA.公開リリースが承認されました：Distribution Unlimited。