SootUp

煙灰圖庫

這是Sootup項目的故鄉。對良好的古老靜態分析框架煙灰進行的全面大修。

什麼是煙灰

• 將JVM字節碼（和其他輸入！）轉換為中間表示。
• 提供分類結構的生成
• 帶有不同算法/精確度的CallGraph生成
• 與IDE/IFD的框架啟用了室內數據流分析
• 在檢索方法主體上應用簡單的轉換（請參閱BodyInterceptor ）
• 提供Jimple IR的解析和序列化。

入門

示例可提供文檔和用法示例。檢查Javadocs。你有疑問嗎？隨意開始討論。

改進煙灰

（與其前身煙灰相比。）

• 新的改進的API（無全球/單人）
• 完全可行的架構
• 實現懶惰的類（不再使用使用/依賴類的交錯負載）
• 失敗的早期策略 - 構建/構建對象時輸入驗證
• 最新（即Java8！）Sourcecode Frontend（當心：無法處理try-catch Inputs！）
• 完整的Java 21對字節碼的支持
• 多個視圖（沒有單個靜態場景）
• 不變的jimple ir對象和圖形

隨意改進煙灰！

貢獻

對於反饋和功能請求，最好創建適當的問題。
有關問題和澄清，請使用討論。

出版品

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）的慷慨支持提供資金。

成為贊助商！