Retrieving Method Body from Soot Class with SOOTUP

[DHANUSHIYADEVI]

I am new to SootUp and trying to GET method body from a Soot class, but I'm encountering a ClassCastException for certain classes, as shown below:

		Set<JavaSootMethod> sootMethods = sootClass.getMethods();
		for (JavaSootMethod sootMethod : sootMethods) {
			System.out.println("Going to parse :: "+sootMethod.getSignature().toString());
			if (sootMethod.hasBody()) {
				Body body = sootMethod.getBody(); // Getting exception here
                          }
                }

Caused by: java.lang.ClassCastException: class sootup.core.jimple.common.constant.StringConstant cannot be cast to class sootup.core.jimple.basic.Local (sootup.core.jimple.common.constant.StringConstant and sootup.core.jimple.basic.Local are in unnamed module of loader 'app')
at sootup.java.core.interceptors.typeresolving.TypePromotionVisitor.visit(TypePromotionVisitor.java:76)
at sootup.java.core.interceptors.typeresolving.TypeChecker.handleInvokeExpr(TypeChecker.java:300)
at sootup.java.core.interceptors.typeresolving.TypeChecker.caseAssignStmt(TypeChecker.java:220)
at sootup.core.jimple.common.stmt.JAssignStmt.accept(JAssignStmt.java:201)
at sootup.core.jimple.common.stmt.JAssignStmt.accept(JAssignStmt.java:59)
at sootup.java.core.interceptors.typeresolving.TypePromotionVisitor.getPromotedTyping(TypePromotionVisitor.java:47)
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195)
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1655)
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484)
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474)
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913)
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578)
at sootup.java.core.interceptors.typeresolving.TypeResolver.resolve(TypeResolver.java:81)
at sootup.java.core.interceptors.TypeAssigner.interceptBody(TypeAssigner.java:42)
at sootup.java.bytecode.frontend.AsmMethodSource.resolveBody(AsmMethodSource.java:234)
... 8 more

Would greatly appreciate any confirmation or corrections, as I’m unsure why I’m getting a ClassCastException for only certain classes. Am I using the correct approach to retrieve the method body? I’m following the example provided in this link.

Thank you in advance for your time and assistance.

[swissiety]

Hi @DHANUSHIYADEVI
thanks for report - it seems the problem is with SootUp.
please share the bytecode you used as input so we can investigate on that issue.

[DHANUSHIYADEVI]

How can I disable the BodyInterceptor when creating JavaView instance, like: JavaView view = new JavaView(inputLocations);?

[swissiety]

you can pass an Collection.empyList() as 3rd parameter to the constructur of your AnalysisInputLocation to achieve that

[DHANUSHIYADEVI]

Disabled bodyinterceptors using new JavaClassPathAnalysisInputLocation(file.toString(), SourceType.Application, Collections.emptyList()) now getting the below Exception.

	at sootup.java.bytecode.frontend.AsmMethodSource.resolveBody(AsmMethodSource.java:207)
	at sootup.core.model.SootMethod.lazyBodyInitializer(SootMethod.java:98)
	at com.google.common.base.Suppliers$NonSerializableMemoizingSupplier.get(Suppliers.java:181)
	at sootup.core.model.SootMethod.getBody(SootMethod.java:177)
	at sootup.callgraph.AbstractCallGraphAlgorithm.resolveAllCallsFromSourceMethod(AbstractCallGraphAlgorithm.java:218)
	at sootup.callgraph.AbstractCallGraphAlgorithm.processWorkList(AbstractCallGraphAlgorithm.java:176)
	at sootup.callgraph.AbstractCallGraphAlgorithm.constructCompleteCallGraph(AbstractCallGraphAlgorithm.java:85)
	at sootup.callgraph.ClassHierarchyAnalysisAlgorithm.initialize(ClassHierarchyAnalysisAlgorithm.java:65)
	at ProjectParser.main(ProjectParser.java:76)
Caused by: java.lang.IllegalArgumentException: The covered Trap range is empty. Trap is of no use.
	at sootup.core.jimple.basic.Trap.<init>(Trap.java:58)
	at sootup.core.jimple.Jimple.newTrap(Jimple.java:562)
	at sootup.java.bytecode.frontend.AsmMethodSource.buildTraps(AsmMethodSource.java:1626)
	at sootup.java.bytecode.frontend.AsmMethodSource.arrangeStmts(AsmMethodSource.java:1753)
	at sootup.java.bytecode.frontend.AsmMethodSource.resolveBody(AsmMethodSource.java:205)
	... 8 more```

[swissiety]

Maybe we need another (new) BodyInterceptor handling these cases. @stschott do you know why there are traps with empty trap ranges in bytecode / is there something semnatically? (or maybe it happens when there are instructions in between that Jimple would handle before and after that..?)

[stschott]

Is it the same method that causes the IllegalArgumentException? If there is no try-catch block definition in the source code in the first place I am not aware that the Java compiler generates some into the bytecode.

[sahilagichani14]

@DHANUSHIYADEVI
I tried running the example:
1 parent pom file missing
2 SootUp version used is 1.1.2, please use latest version. Adjust imports according to the latest version
3 Output after applying DeadAssignmentEliminator is correct (removed assignment part)

{
File this;
unknown $stack2;
this := @this: File;
$stack2 = <java.lang.System: java.io.PrintStream out>;
virtualinvoke $stack2.<java.io.PrintStream: void println(int)>(3);
return;
}