[Soot-list] Weird Spark crash

[Dacong Yan]

Hi,

It seems that you have an invalid Jimple statement.
MethodNodeFactory.java:78 is inside a method handling assignment
statements, and that line is only reachable when the lhs is of type
RefLikeType. From the exception message, the rhs is "l8 >> 4", a Java
primitive number. So, the statement is like "Object a = l8 >> 4".

To debug this, you can turn on Java assertion "java -ea ... soot.Main
...", because MethodNodeFactory.java:74 has an assertion to print the
statement and method when rhs is not RefLikeType. Furthermore, you can
try to print out the whole method Jimple body and inspect the
statements.

Thanks,
Tony

On Tue, Apr 22, 2014 at 9:13 PM, Marc-André Laverdière
<marc-andre.laverdiere-papineau at polymtl.ca> wrote:
> Hello everybody,
>
> I have a mysterious exception in crash:
>
> Exception in thread "main" java.lang.RuntimeException: failed to handle
> l8 >> 4
>     at
> soot.jimple.spark.builder.MethodNodeFactory.defaultCase(MethodNodeFactory.java:321)
>     at
> soot.jimple.AbstractJimpleValueSwitch.caseShrExpr(AbstractJimpleValueSwitch.java:160)
>     at soot.jimple.internal.JShrExpr.apply(JShrExpr.java:42)
>     at
> soot.jimple.spark.builder.MethodNodeFactory$1.caseAssignStmt(MethodNodeFactory.java:78)
>     at soot.jimple.internal.JAssignStmt.apply(JAssignStmt.java:223)
>     at
> soot.jimple.spark.builder.MethodNodeFactory.handleStmt(MethodNodeFactory.java:69)
>     at soot.jimple.spark.pag.MethodPAG.buildNormal(MethodPAG.java:179)
>     at soot.jimple.spark.pag.MethodPAG.build(MethodPAG.java:148)
>     at
> soot.jimple.spark.solver.OnFlyCallGraph.processReachables(OnFlyCallGraph.java:64)
>     at ...
>
> Anybody knows what is going wrong here???
>
> Regards,
>
> --
> Marc-André Laverdière-Papineau
> Doctorant - PhD Candidate
> _______________________________________________
> Soot-list mailing list
> Soot-list at CS.McGill.CA
> https://mailman.CS.McGill.CA/mailman/listinfo/soot-list



-- 
Dacong (Tony) Yan
Ph.D. Student
Computer Science and Engineering
The Ohio State University, Columbus
http://www.cse.ohio-state.edu/~yan