问题标签 [soot]

我想在 Soot 中执行数据流分析。但我的分析的本质是它将执行一次前向分析迭代，然后使用前向分析中计算的数据流值执行一次反向分析迭代。这两次迭代变成了我的分析技术的单次迭代。

这在 Soot 中是否可行，因为它仅提供前向、后向和前向分支流量分析？

如果不是，那么我需要在 Soot 框架中进行哪些更改。如果在 JAVA 中还有其他可用于数据流分析的工具，那么有人可以告诉我。

提前致谢，

曼达尔

我想在烟灰库中用整数类型定义本地。我尝试用这个命令定义本地

但我得到了错误

谁能解释我如何用整数类型定义本地？

在许多使用 Soot 的 java 项目中，我看到了SootMethod.getSubSignature().

我知道我们需要SootMethod.Signature()获取方法的签名，但是这SootMethod.getSubSignature()意味着什么。

这两种方法有什么区别？

我想检测代码，例如我可以在this.property=property. this为此，soot 库如何找到语句包含关键字？

为了将库与我的应用程序链接，我尝试使用 soot 反编译 jar，但出现错误：

为什么！你能不能告诉我？

我需要分析各种android apk，找到执行意图的方法，然后获取意图的动作名称，如“ACTION_VIEW”等。

我能够检索到所有相关方法，例如 startActivity()、startActivityForResult() 和 onCreate()。但我无法在相应的 Locals （意图参考）中获取操作名称或常量。是否有可能将 Intent.java 类加载到场景中（添加为基本类已经这样做了吗？）然后将 Local 转换为 Intent 对象？或者你能推荐我一种完全不同的使用烟灰的方法吗？

下面是我当前的自定义烟灰类列表：

为一些示例 apk 输出以下内容：

我正在尝试使用 Soot 分析 android apk。但是，我收到一条错误消息invalid option: android-jars以及CompilationDeathException: Option parse error. 这是由于 android jar 或 soot(2.5.0) 的路径错误吗？

要启动烟灰，我使用的是此处的脚本：http ://www.abartel.net/dexpler/

我使用 soot 来检测 java 程序。我知道要在 soot 中添加对特定类的调用，我们必须将“Soot class-path”设置为包含该类 .class 文件的目录。所以我在主类的主要方法中这样做。我带来了下面的代码片段

但是，当我想使用位于类文件夹中的“Insop”类时，请通过以下 Exins 方法中的代码：

我得到错误

我应该提到我使用 ubuntu 14.4 32 位，我在 intellij 上运行代码。我找不到我的错误。请你帮助我好吗。

我有兴趣使用编译器基础架构框架 Soot 为 Java 构建 Andersen 的指针分析。以下是该领域的论文。我无法确定一种合适的方法来开始和编写针对 Java 的分析。谁能帮我这个？

一种针对严格类型语言的高效基于包含的指向分析 http://suif.stanford.edu/~jwhaley/papers/sas02.pdf

C 编程语言的程序分析和专业化（原始安徒生的分析论文） http://www.cs.cornell.edu/courses/cs711/2005fa/papers/andersen-thesis94.pdf

Java 要点：通用框架和实证比较 https://pp.info.uni-karlsruhe.de/uploads/publikationen/streckenbach00tr.pdf

使用 Spark 扩展 Java Points-To 分析 https://plg.uwaterloo.ca/~olhotak/pubs/sable-tr-2002-9.pdf

使用带注释约束的 Java 点对点分析 http://www.cs.rpi.edu/~milanova/docs/oopsla01.pdf

谢谢，

我有一个像这样的简单程序：

我将它构建到一个 jar 文件中，并且我想使用 WALA 添加更多检测源代码来计算循环执行的次数以进行动态分析。

这就是我使用 Wala 所做的，大部分内容都取自这个示例Wala Bench Example

我希望在添加更多检测代码后，程序应该变成这样，在循环中添加一行 System.out.println ：

包装测试；

但我收到了这个错误：