cclyzerpp

cclyzer ++

Cclyzer ++は、LLVMコードの正確でスケーラブルなグローバルポインター分析です。 Cclyzer ++の出力は、以下を含むさまざまなプログラム分析タスクに使用できます。

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

Cclyzer ++はフィールドおよびアレイに敏感であり、オンザフライのCallgraph構築を実行し、 Kコールサイト感度を含むコンテキスト感受性のさまざまな構成をサポートします。サブセットベース（Andersenスタイル）と統一ベースの（Steensgaardスタイル）分析があります。 Cclyzer ++はSouffléDatalogで書かれているため、非常に並行しています。 Cclyzer ++はCclyzerに由来していました。

Cczlyer ++の詳細については、その出力の例を含め、ドキュメントを参照してください。ドキュメントもオンラインで入手できます。

自分の作品でCclyzer ++を使用する場合は、次の引用を含めてください。

• ラングストンバレットとスコットムーア。 「Cclyzer ++：LLVMのスケーラブルで正確なポインター分析。」 https://galois.com/blog/2022/08/cclyzer-scalable-and-precise-pointer-analysis-for-llvm/。 2022。
• ジョージ・バラツーラスとヤニス・スマラグダキス。 「CおよびC ++の構造に敏感なポイントから分析。」静的分析：第23回国際シンポジウム、SAS 2016、イギリス、エジンバラ、2016年9月8〜10日、議事録23、pp。84-104。 Springer Berlin Heidelberg、2016年。

謝辞

この資料は、契約番号FA8750-19-C-0004に基づいて、米国空軍および防衛先進研究プロジェクト機関（DARPA）がサポートする作業に基づいています。この資料で表明された意見、調査結果、結論、または勧告は著者のものであり、必ずしも米国空軍またはDARPAの見解を反映しているわけではありません。パブリックリリース、Distribution Unlimitedが承認されました。