Soot - Получить JimpleBody из CFG

Я хотел бы получить UnitGraph от класса Java. Я загружаю его на ClassFile и получаю method_info из main(). Затем я создаю CFG и пытаюсь преобразовать его в UnitGraph. Мой метод состоит в том, чтобы получить JimpleBody из CFG, а затем создать UnitGraph. Однако я не могу получить JimpleBody, вызвав 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);

Однако таким образом мне нужно установить Scene.v().setSootClassPath(path) для jce.jar и rt.jar, чего я не хочу делать в своем коде. Поэтому, если есть другой способ получить UnitGraph без указания такого пути, пожалуйста, помогите мне.