zhangxii / prog-slice Goto Github PK

Hi
I'm trying to run slicemain.java but get this error .
===== callname: getContentType === callmethodClass: Lexam/GetContentType ======
building call graph...
Exception in thread "main" java.lang.ClassCastException: com.ibm.wala.classLoader.JavaLanguage$JavaInstructionFactory$12 cannot be cast to com.ibm.wala.ssa.SSAInvokeDynamicInstruction
at com.ibm.wala.ipa.summaries.LambdaMethodTargetSelector.getCalleeTarget(LambdaMethodTargetSelector.java:49)
at com.ibm.wala.ipa.summaries.BypassMethodTargetSelector.getCalleeTarget(BypassMethodTargetSelector.java:139)
at com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.getTargetForCall(PropagationCallGraphBuilder.java:693)
at com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.lambda$getTargetsForCall$0(SSAPropagationCallGraphBuilder.java:2096)
at com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder$CrossProductRec.rec(SSAPropagationCallGraphBuilder.java:533)
at com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.iterateCrossProduct(SSAPropagationCallGraphBuilder.java:2077)
at com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.getTargetsForCall(SSAPropagationCallGraphBuilder.java:2101)
at com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder$ConstraintVisitor.visitInvokeInternal(SSAPropagationCallGraphBuilder.java:1162)
at com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder$ConstraintVisitor.visitInvoke(SSAPropagationCallGraphBuilder.java:1128)
at com.ibm.wala.ssa.SSAInvokeInstruction.visit(SSAInvokeInstruction.java:94)
at com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.addBlockInstructionConstraints(SSAPropagationCallGraphBuilder.java:272)
at com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.addNodeInstructionConstraints(SSAPropagationCallGraphBuilder.java:249)
at com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.unconditionallyAddConstraintsFromNode(SSAPropagationCallGraphBuilder.java:225)
at com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.addConstraintsFromNode(SSAPropagationCallGraphBuilder.java:190)
at com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.addConstraintsFromNewNodes(PropagationCallGraphBuilder.java:311)
at com.ibm.wala.ipa.callgraph.propagation.StandardSolver.solve(StandardSolver.java:56)
at com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.makeCallGraph(PropagationCallGraphBuilder.java:251)
at slice.SliceFromStatement.sliceFromReturn(SliceFromStatement.java:94)
at slice.SliceMain.main(SliceMain.java:21)

Could you help me?