烟灰 - 从CFG获取Jimplebody

Question

我想从Java类获取unitgraph。 我通过classfile加载它，然后获取maws> main（）main（）的method_info。 然后，我创建一个cfg，然后尝试将其转换为unitgraph。 我的方法是获取 cfg的jimplebody ，然后创建unitgraph。 但是，我无法通过调用来获得cfg.jimplify（...），因为它引发了以下错误：

Exception in thread "main" java.lang.RuntimeException: no method associated w/ body
    at soot.Body.getMethod(Body.java:137)
    at soot.coffi.CFG.jimplify(CFG.java:814)
    at com.LiveVariableAnalysis.main(LiveVariableAnalysis.java:151)

我的代码如下：

        String mainClassName = "Calculate";
        String mainClassPath = String.format("./target/test-classes/%s.class", mainClassName);
        ClassFile mainClassFile = new ClassFile(mainClassName);
        FileInputStream is = new FileInputStream(mainClassPath);
        mainClassFile.loadClassFile(is);
        logger.info(String.format("Loading Class: %s ...", mainClassFile));

        method_info methodInfo = null;
        for (method_info method: mainClassFile.methods) {
            if (Objects.equals(method.toName(mainClassFile.constant_pool), "main")) {
                methodInfo = method;
            }
        }
        logger.info(String.format("Loading method_info: %s ...", methodInfo.toName(mainClassFile.constant_pool)));

        mainClassFile.parseMethod(methodInfo);
        CFG cfg = new CFG(methodInfo);

        JimpleBody jimpleBody = new JimpleBody();
        // Error occurs here
        cfg.jimplify(mainClassFile.constant_pool, mainClassFile.this_class, mainClassFile.bootstrap_methods_attribute, jimpleBody);

        UnitGraph unitGraph = new ClassicCompleteUnitGraph(jimpleBody);
        logger.info(String.format("Creating unitGraph with %d units ...", unitGraph.size()));

我知道还有其他创建unitgraph的方法，例如：

        String mainClassName = "Calculate";
        SootClass mainClass = Scene.v().loadClassAndSupport(className);
        Scene.v().setMainClass(mainClass);
        soot.Main.main(args);
        SootClass mainClass = Scene.v().getMainClass();
        String methodSignature = "void main(java.lang.String[])";
        SootMethod mainMethod = mainClass.getMethod(methodSignature);
        Body jimpleBody = mainMethod.retrieveActiveBody();
        UnitGraph unitGraph = new ClassicCompleteUnitGraph(jimpleBody);

以这种方式，我需要设置caste.v（）。setSootClassPath（path） for jce.jar.jar和rt.jar，我不想在代码中发生。因此，如果有另一种方法可以在没有设置这样的路径的情况下获得unitgraph，请帮助我。

Answer 1

虽然我仍然无法将 method_info 转换为 SootMathod 然后获得 UnitGraph，但我可以使用 Options.v()。 set_prepend_classpath(true) 以避免直接设置 jce.jar 和 rt.jar。这也达到了我的目的。