SootUp

Sootupライブラリ

これはSootupプロジェクトの本拠地です。良好で古い静的分析フレームワークすすの完全なオーバーホール。

すすは何ですか

• jvm bytecode（およびその他の入力！）を中間表現Jimpleに変換します。
• クラスハイアラルキー生成を提供します
• 異なるアルゴリズム/精度を持つコールグラフ生成
• HEROSによって有効になったIDE/IFDSフレームワークを使用したプロセス間データフロー分析
• メソッドボディの取得に単純な変換を適用します（ BodyInterceptorを参照）
• ジンプルIRの解析とシリアル化を提供します。

はじめる

ドキュメントと使用の例は、例で入手できます。 Javadocsを確認してください。質問はありますか？話し合いを始めてください。

Sootupの改善

（その前身のすすと比較して。）

• 新しい改良されたAPI（グローバル/シングルトンなし）
• 完全に平行可能なアーキテクチャ
• クラスの怠zyloadingを有効にします（中古/依存クラスのインターリーブロードはもうありません）
• 早期戦略に失敗する - オブジェクトの構築/構築中の入力検証
• 最新の（すなわち、Java8！）sourcecode frontend（注意してください：トライキャッチ入力を処理できません！）
• 完全なJava 21 Bytecodeのサポート
• 複数のビュー（もう単一の静的シーンはありません）
• 不変のジンプルIRオブジェクトとグラフ

Sootupを自由に改善してください！

貢献

フィードバックと機能のリクエストについては、適切な問題を作成するのが最善です。
質問と明確化については、ディスカッションを使用してください。

出版物

Sootup Paperは、Sootupの背後にある詳細と設計上の決定について説明しています。
プリプリントも利用できます。

Sootupを研究作業で使用する場合は、次のように自由に引用してください。

 @InProceedings{10.1007/978-3-031-57246-3_13,
author="Karakaya, Kadiray
and Schott, Stefan
and Klauke, Jonas
and Bodden, Eric
and Schmidt, Markus
and Luo, Linghui
and He, Dongjie",
editor="Finkbeiner, Bernd
and Kov{'a}cs, Laura",
title="SootUp: A Redesign of the Soot Static Analysis Framework",
booktitle="Tools and Algorithms for the Construction and Analysis of Systems",
year="2024",
publisher="Springer Nature Switzerland",
address="Cham",
pages="229--247",
isbn="978-3-031-57246-3"
}

サポーター

Sootupの開発は、ドイツの研究財団（DFG）とHeinz Nixdorf Institute（HNI）からの寛大な支援によって資金提供されています。

スポンサーになりましょう！