You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
[Call Graph] For information on where the call graph may be incomplete, use the verbose option to the cg phase.
[Spark] Pointer Assignment Graph in 0.0 seconds.
[Spark] Type masks in 0.0 seconds.
[Spark] Pointer Graph simplified in 0.0 seconds.
[Spark] Propagation in 7.7 seconds.
[Spark] Solution found in 7.7 seconds.
Exception in thread "main" java.lang.ArrayIndexOutOfBoundsException: 0
at soot.jimple.internal.AbstractInvokeExpr.getArg(AbstractInvokeExpr.java:74)
at edu.psu.cse.siis.coal.arguments.AliasAdjuster.match_virtualinvoke_StringBuilder_XXX(AliasAdjuster.java:146)
at edu.psu.cse.siis.coal.arguments.AliasAdjuster.changeBody(AliasAdjuster.java:183)
at edu.psu.cse.siis.coal.arguments.ConstraintCollector.handleMethod(ConstraintCollector.java:127)
at edu.psu.cse.siis.coal.arguments.ConstraintCollector.globalCollection(ConstraintCollector.java:172)
at edu.psu.cse.siis.coal.arguments.StringValueAnalysis.initialize(StringValueAnalysis.java:50)
at edu.psu.cse.siis.coal.PropagationSceneTransformer.internalTransform(PropagationSceneTransformer.java:63)
at soot.SceneTransformer.transform(SceneTransformer.java:39)
at soot.Transform.apply(Transform.java:90)
at soot.ScenePack.internalApply(ScenePack.java:40)
at soot.Pack.apply(Pack.java:116)
at soot.PackManager.runWholeProgramPacks(PackManager.java:565)
at soot.PackManager.runPacksNormally(PackManager.java:457)
at soot.PackManager.runPacks(PackManager.java:392)
at edu.psu.cse.siis.coal.Analysis.performAnalysis(Analysis.java:68)
at edu.psu.cse.siis.ic3.Main.main(Main.java:14)
The text was updated successfully, but these errors were encountered:
Hello, I am running ic3 with the following error.Could you please tell me how to solve it?
java -jar ic3-0.2.0-full.jar -input ../ydjt/retargeted/ydjtdx -apkormanifest ../ydjtdx.apk -cp android.jar -protobuf ../ydjt
Part of the output:
[Call Graph] For information on where the call graph may be incomplete, use the verbose option to the cg phase.
[Spark] Pointer Assignment Graph in 0.0 seconds.
[Spark] Type masks in 0.0 seconds.
[Spark] Pointer Graph simplified in 0.0 seconds.
[Spark] Propagation in 7.7 seconds.
[Spark] Solution found in 7.7 seconds.
Exception in thread "main" java.lang.ArrayIndexOutOfBoundsException: 0
at soot.jimple.internal.AbstractInvokeExpr.getArg(AbstractInvokeExpr.java:74)
at edu.psu.cse.siis.coal.arguments.AliasAdjuster.match_virtualinvoke_StringBuilder_XXX(AliasAdjuster.java:146)
at edu.psu.cse.siis.coal.arguments.AliasAdjuster.changeBody(AliasAdjuster.java:183)
at edu.psu.cse.siis.coal.arguments.ConstraintCollector.handleMethod(ConstraintCollector.java:127)
at edu.psu.cse.siis.coal.arguments.ConstraintCollector.globalCollection(ConstraintCollector.java:172)
at edu.psu.cse.siis.coal.arguments.StringValueAnalysis.initialize(StringValueAnalysis.java:50)
at edu.psu.cse.siis.coal.PropagationSceneTransformer.internalTransform(PropagationSceneTransformer.java:63)
at soot.SceneTransformer.transform(SceneTransformer.java:39)
at soot.Transform.apply(Transform.java:90)
at soot.ScenePack.internalApply(ScenePack.java:40)
at soot.Pack.apply(Pack.java:116)
at soot.PackManager.runWholeProgramPacks(PackManager.java:565)
at soot.PackManager.runPacksNormally(PackManager.java:457)
at soot.PackManager.runPacks(PackManager.java:392)
at edu.psu.cse.siis.coal.Analysis.performAnalysis(Analysis.java:68)
at edu.psu.cse.siis.ic3.Main.main(Main.java:14)
The text was updated successfully, but these errors were encountered: