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

成为赞助商！