Soot 可以帮助我从具有指定源的函数生成突出显示的控制流图吗？

问题描述

我对烟灰很陌生，我一直在阅读有关它的信息，但我想知道烟灰是否能够帮助我实现这一结果。

我有一个包含以下代码的示例 java 文件 Testing.java：

public class Testing {
    public static void main(String[] args) {
        String s = "hello";
        int i = 0;
        s = s + " ";
        int a = 1;
        s = s + "world";

        System.out.println(s);
    }
}

是否有任何可能的方法让我使用 soot java 库基于输入 java 文件 Testing.java 和变量 s 生成输出，并提供更新的 java 代码，在其中突出显示相关的基于变量的代码流，最好按行号，例如：

public class Testing {
    public static void main(String[] args) {
->        String s = "hello";
        int i = 0;
->        s = s + " ";
        int a = 1;
->        s = s + "world";

->        System.out.println(s);
    }
}

Soot 是否能够执行类似伪代码的操作来帮助我获得上面显示的输出？

SootClass class = Testing.java;
class.source("s");
generateCFG()

谢谢！

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）