Soot Spark, генерирующий граф вызовов rta: java.lang.OutOfMemoryError: Превышен лимит накладных расходов GC - PullRequest
0 голосов
/ 19 сентября 2018

Когда я пытаюсь сгенерировать график вызова искры, у меня появляется эта ошибка: java.lang.OutOfMemoryError: GC overhead limit exceeded.

Это трассировка стека:

at java.util.concurrent.ConcurrentHashMap$KeySetView.iterator(ConcurrentHashMap.java:4578)
at java.util.Collections$UnmodifiableCollection$1.<init>(Collections.java:1039)
at java.util.Collections$UnmodifiableCollection.iterator(Collections.java:1038)
at soot.FastHierarchy.canStoreClass(FastHierarchy.java:324)
at soot.FastHierarchy.canStoreType(FastHierarchy.java:233)
at soot.jimple.toolkits.callgraph.VirtualCalls.resolve(VirtualCalls.java:147)
at soot.jimple.toolkits.callgraph.VirtualCalls.resolveAnySubType(VirtualCalls.java:196)
at soot.jimple.toolkits.callgraph.VirtualCalls.resolve(VirtualCalls.java:180)
at soot.jimple.toolkits.callgraph.VirtualCalls.resolve(VirtualCalls.java:130)
at soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.addType(OnFlyCallGraphBuilder.java:549)
at soot.jimple.toolkits.callgraph.CallGraphBuilder.build(CallGraphBuilder.java:118)
at soot.jimple.spark.SparkTransformer.internalTransform(SparkTransformer.java:154)
at soot.SceneTransformer.transform(SceneTransformer.java:39)
at com.company.Project.runPacks(Project.java:130)
at com.company.Project.<init>(Project.java:60)
at com.test.TestTemporary.loadP1(TestTemporary.java:10)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:50)
at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:12)
at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:47)
at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:17)
at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:325)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:78)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:57)
at org.junit.runners.ParentRunner$3.run(ParentRunner.java:290)
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:71)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:288)
at org.junit.runners.ParentRunner.access$000(ParentRunner.java:58)
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:268)

Мой код работает так:

  1. Я установил опцию сажи следующим образом:

    private void setSootOptions() {
            List<String> argsList = new ArrayList<>();
            argsList.add("-verbose");
            argsList.add("-w"); // whole program mode
            argsList.add("-cp"); // Soot class-path
            argsList.add(path + ";C:\\soot\\soot-3.1.0-jar-with- 
              dependencies.jar;C:\\Program 
              Files\\Java\\jdk1.8.0_112\\jre\\lib\\rt.jar;C:\\Program 
              Files\\Java\\jdk1.8.0_112\\jre\\lib\\jce.jar;C:\\Program 
              Files\\JetBrains\\IntelliJ IDEA Community Edition 
              2018.1.5\\lib\\junit-4.12.jar;C:\\Program 
              Files\\JetBrains\\IntelliJ IDEA Community Edition 
              2018.1.5\\lib\\hamcrest-core-1.3.jar;");
            Options.v().parse(argsList.toArray(new String[0]));
                                      }
    
  2. Учитывая каталог, я добавил все файлы .class в каталог как класс приложения в саже (после загрузки его с помощью Scene.v (). LoadClassAndSupport ())

  3. Я нахожу все методы тестирования junit в данном проекте и устанавливаю все в качестве точек входа

  4. Я генерирую график вызова искры:

    private void runPacks() {
    Transform sparkTranform = new Transform("cg.spark", null);
    
    PhaseOptions.v().setPhaseOption(sparkTranform, "enabled:true");
    PhaseOptions.v().setPhaseOption(sparkTranform, "rta:true");
    PhaseOptions.v().setPhaseOption(sparkTranform, "verbose:true");
    PhaseOptions.v().setPhaseOption(sparkTranform, "propagator:worklist");
    PhaseOptions.v().setPhaseOption(sparkTranform, "simple-edges-bidirectional:false");
    PhaseOptions.v().setPhaseOption(sparkTranform, "on-fly-cg:false");
    PhaseOptions.v().setPhaseOption(sparkTranform, "set-impl:double");
    PhaseOptions.v().setPhaseOption(sparkTranform, "double-set-old:hybrid");
    PhaseOptions.v().setPhaseOption(sparkTranform, "double-set-new:hybrid");
    PhaseOptions.v().setPhaseOption(sparkTranform, "force-cg:true");
    
    Map opt = PhaseOptions.v().getPhaseOptions(sparkTranform);
    System.out.println("rta call graph building...");
    
    SparkTransformer.v().transform(sparkTranform.getPhaseName(), opt);
    System.out.println("...rta call graph builded");
    
    CallGraph c = Scene.v().getCallGraph();
    setCallGraph(c);
    System.out.println("Serialize call graph start...");
    serializeCallGraph(callGraph, path + "//" + "-call-grsph" + DotGraph.DOT_EXTENSION);
    System.out.println("...Serialize call graph completed");
    }
    

Я протестировал этот код на 2 проектах, с одним проектом у меня нет проблем, со вторым проектом у меня была ошибка, о которой сообщалось ранее (превышен предел накладных расходов GC).Я понимаю, что проблема заключается в том, что при генерации графа вызовов сажа пытается проанализировать следующие 2 метода:

@Test
public void realPassTest(){
    ArrayList<String> a = st.realMethodToTest();
    Assert.assertTrue(a.contains("real"));
}

@Test
public void realFailureTest(){
    ArrayList<String> a = st.realMethodToTest();
    Assert.assertTrue(a.contains("fail"));
}

[...]

public ArrayList<String> realMethodToTest() {
    ArrayList a = new ArrayList<>();
    a.add("real");
    a.add("method");
    a.add("toTest");
    return a;
}

С помощью отладчика я вижу, чтосажа в генерации графа вызовов загрузить все Java-метод для ArrayList.Как я могу решить эту проблему?

Я попытался сгенерировать вызов callgraph с помощью "rta: false" "on-fly-cg: true", и у меня возникли другие проблемы: отсутствует вызов callgraph другого проекта (p1)некоторые края, потому что я не могу использовать статический метод в качестве точек входа, с rta вызов графа (p1) завершен, но в этом проекте у меня есть только примитивный тип и некоторые методы с пустым телом, если я пытаюсь использовать rta в проектепокажите (p) У меня есть эта проблема.

Я пробовал также использовать опцию «-app» для копоти, но у меня проблема с загрузкой класса

...