[Soot-list] Whole-program and allow-phantom-refs options cause
soot to crash
Guillaume Salagnac
Guillaume.Salagnac at imag.fr
Wed Oct 27 11:10:45 EDT 2004
From: Navindra Umanee <navindra at cs.mcgill.ca>
Subject: Re: [Soot-list] Whole-program and allow-phantom-refs options cause soot to crash
Date: Wed, 27 Oct 2004 10:13:08 -0400
> Hi Guillaume,
>
> I don't think it should be a problem for Shimple because it is
> computed intra-procedurally and doesn't really care about external
> refs.
>
> Do you get errors with "-w" instead of "-ws"?
Yes, but they're not exactly the same.
> Can you post the errors?
I'm not sure they're interresting, but here there are.
thanks anyway,
-G
--
Guillaume Salagnac -- EtK/WarpZone -- 06.68.37.60.78
Equipe "Systèmes Temporisés et Hybrides." Verimag. Grenoble. France.
Mangez un castor, vous sauverez un arbre.
-------------- next part --------------
$ java -mx400m soot.Main -allow-phantom-refs -ws -f S -p cg verbose:true the.class.fqn
Soot started on Wed Oct 27 16:59:18 MEST 2004
Warning: javax.servlet.http.HttpServletRequest is a phantom class!
Warning: javax.servlet.http.HttpServletResponse is a phantom class!
Warning: javax.servlet.ServletResponse is a phantom class!
Warning: javax.servlet.ServletRequest is a phantom class!
Warning: javax.servlet.http.HttpSession is a phantom class!
Warning: javax.servlet.ServletContext is a phantom class!
Warning: javax.servlet.http.Cookie is a phantom class!
Warning: javax.servlet.http.HttpUtils is a phantom class!
Warning: javax.servlet.ServletInputStream is a phantom class!
Warning: com.informix.jdbc.IfmxPreparedStatement is a phantom class!
Warning: javax.net.ssl.SSLSocketFactory is a phantom class!
Warning: javax.net.ssl.SSLSocket is a phantom class!
Warning: javax.net.ssl.SSLException is a phantom class!
Warning: com.sun.net.ssl.internal.ssl.Provider is a phantom class!
Warning: javax.net.ssl.SSLSession is a phantom class!
Warning: javax.security.cert.X509Certificate is a phantom class!
Warning: iaik.security.ssl.SSLContext is a phantom class!
Warning: iaik.security.ssl.SSLClientContext is a phantom class!
Warning: iaik.security.ssl.SSLSocket is a phantom class!
Warning: org.xwt.TinySSL is a phantom class!
Warning: org.xwt.util.Log is a phantom class!
soot.jimple.toolkits.typing.TypeException: Type Error(12)
at soot.jimple.toolkits.typing.TypeVariable.error(TypeVariable.java:527)
at soot.jimple.toolkits.typing.TypeNode.lca(TypeNode.java:326)
at soot.jimple.toolkits.typing.TypeVariable.fixApprox(TypeVariable.java:649)
at soot.jimple.toolkits.typing.TypeVariable.computeApprox(TypeVariable.java:548)
at soot.jimple.toolkits.typing.TypeResolver.compute_approximate_types(TypeResolver.java:865)
at soot.jimple.toolkits.typing.TypeResolver.compute_array_depth(TypeResolver.java:354)
at soot.jimple.toolkits.typing.TypeResolver.resolve_step_1(TypeResolver.java:253)
at soot.jimple.toolkits.typing.TypeResolver.resolve(TypeResolver.java:177)
at soot.jimple.toolkits.typing.TypeAssigner.internalTransform(TypeAssigner.java:57)
at soot.BodyTransformer.transform(BodyTransformer.java:51)
at soot.Transform.apply(Transform.java:88)
at soot.JimpleBodyPack.applyPhaseOptions(JimpleBodyPack.java:68)
at soot.JimpleBodyPack.internalApply(JimpleBodyPack.java:91)
at soot.Pack.apply(Pack.java:113)
at soot.coffi.CoffiMethodSource.getBody(CoffiMethodSource.java:115)
at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:79)
at soot.SootMethod.retrieveActiveBody(SootMethod.java:274)
at soot.shimple.ShimpleTransformer.internalTransform(ShimpleTransformer.java:54)
at soot.SceneTransformer.transform(SceneTransformer.java:39)
at soot.SceneTransformer.transform(SceneTransformer.java:45)
at soot.SceneTransformer.transform(SceneTransformer.java:50)
at soot.PackManager.runWholeProgramPacks(PackManager.java:297)
at soot.PackManager.runPacks(PackManager.java:275)
at soot.Main.run(Main.java:180)
at soot.Main.main(Main.java:154)
soot.jimple.toolkits.typing.TypeException: Type Error(12)
at soot.jimple.toolkits.typing.TypeVariable.error(TypeVariable.java:527)
at soot.jimple.toolkits.typing.TypeNode.lca(TypeNode.java:326)
at soot.jimple.toolkits.typing.TypeVariable.fixApprox(TypeVariable.java:649)
at soot.jimple.toolkits.typing.TypeVariable.computeApprox(TypeVariable.java:548)
at soot.jimple.toolkits.typing.TypeResolver.compute_approximate_types(TypeResolver.java:865)
at soot.jimple.toolkits.typing.TypeResolver.compute_array_depth(TypeResolver.java:354)
at soot.jimple.toolkits.typing.TypeResolver.resolve_step_2(TypeResolver.java:284)
at soot.jimple.toolkits.typing.TypeResolver.resolve(TypeResolver.java:190)
at soot.jimple.toolkits.typing.TypeAssigner.internalTransform(TypeAssigner.java:57)
at soot.BodyTransformer.transform(BodyTransformer.java:51)
at soot.Transform.apply(Transform.java:88)
at soot.JimpleBodyPack.applyPhaseOptions(JimpleBodyPack.java:68)
at soot.JimpleBodyPack.internalApply(JimpleBodyPack.java:91)
at soot.Pack.apply(Pack.java:113)
at soot.coffi.CoffiMethodSource.getBody(CoffiMethodSource.java:115)
at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:79)
at soot.SootMethod.retrieveActiveBody(SootMethod.java:274)
at soot.shimple.ShimpleTransformer.internalTransform(ShimpleTransformer.java:54)
at soot.SceneTransformer.transform(SceneTransformer.java:39)
at soot.SceneTransformer.transform(SceneTransformer.java:45)
at soot.SceneTransformer.transform(SceneTransformer.java:50)
at soot.PackManager.runWholeProgramPacks(PackManager.java:297)
at soot.PackManager.runPacks(PackManager.java:275)
at soot.Main.run(Main.java:180)
at soot.Main.main(Main.java:154)
soot.jimple.toolkits.typing.TypeException: Type Error(12)
at soot.jimple.toolkits.typing.TypeVariable.error(TypeVariable.java:527)
at soot.jimple.toolkits.typing.TypeNode.lca(TypeNode.java:326)
at soot.jimple.toolkits.typing.TypeVariable.fixApprox(TypeVariable.java:649)
at soot.jimple.toolkits.typing.TypeVariable.computeApprox(TypeVariable.java:548)
at soot.jimple.toolkits.typing.TypeResolver.compute_approximate_types(TypeResolver.java:865)
at soot.jimple.toolkits.typing.TypeResolver.compute_array_depth(TypeResolver.java:354)
at soot.jimple.toolkits.typing.TypeResolver.resolve_step_1(TypeResolver.java:253)
at soot.jimple.toolkits.typing.TypeResolver.resolve(TypeResolver.java:177)
at soot.jimple.toolkits.typing.TypeAssigner.internalTransform(TypeAssigner.java:57)
at soot.BodyTransformer.transform(BodyTransformer.java:51)
at soot.Transform.apply(Transform.java:88)
at soot.JimpleBodyPack.applyPhaseOptions(JimpleBodyPack.java:68)
at soot.JimpleBodyPack.internalApply(JimpleBodyPack.java:91)
at soot.Pack.apply(Pack.java:113)
at soot.coffi.CoffiMethodSource.getBody(CoffiMethodSource.java:115)
at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:79)
at soot.SootMethod.retrieveActiveBody(SootMethod.java:274)
at soot.shimple.ShimpleTransformer.internalTransform(ShimpleTransformer.java:54)
at soot.SceneTransformer.transform(SceneTransformer.java:39)
at soot.SceneTransformer.transform(SceneTransformer.java:45)
at soot.SceneTransformer.transform(SceneTransformer.java:50)
at soot.PackManager.runWholeProgramPacks(PackManager.java:297)
at soot.PackManager.runPacks(PackManager.java:275)
at soot.Main.run(Main.java:180)
at soot.Main.main(Main.java:154)
soot.jimple.toolkits.typing.TypeException: Type Error(12)
at soot.jimple.toolkits.typing.TypeVariable.error(TypeVariable.java:527)
at soot.jimple.toolkits.typing.TypeNode.lca(TypeNode.java:326)
at soot.jimple.toolkits.typing.TypeVariable.fixApprox(TypeVariable.java:649)
at soot.jimple.toolkits.typing.TypeVariable.computeApprox(TypeVariable.java:548)
at soot.jimple.toolkits.typing.TypeResolver.compute_approximate_types(TypeResolver.java:865)
at soot.jimple.toolkits.typing.TypeResolver.compute_array_depth(TypeResolver.java:354)
at soot.jimple.toolkits.typing.TypeResolver.resolve_step_2(TypeResolver.java:284)
at soot.jimple.toolkits.typing.TypeResolver.resolve(TypeResolver.java:190)
at soot.jimple.toolkits.typing.TypeAssigner.internalTransform(TypeAssigner.java:57)
at soot.BodyTransformer.transform(BodyTransformer.java:51)
at soot.Transform.apply(Transform.java:88)
at soot.JimpleBodyPack.applyPhaseOptions(JimpleBodyPack.java:68)
at soot.JimpleBodyPack.internalApply(JimpleBodyPack.java:91)
at soot.Pack.apply(Pack.java:113)
at soot.coffi.CoffiMethodSource.getBody(CoffiMethodSource.java:115)
at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:79)
at soot.SootMethod.retrieveActiveBody(SootMethod.java:274)
at soot.shimple.ShimpleTransformer.internalTransform(ShimpleTransformer.java:54)
at soot.SceneTransformer.transform(SceneTransformer.java:39)
at soot.SceneTransformer.transform(SceneTransformer.java:45)
at soot.SceneTransformer.transform(SceneTransformer.java:50)
at soot.PackManager.runWholeProgramPacks(PackManager.java:297)
at soot.PackManager.runPacks(PackManager.java:275)
at soot.Main.run(Main.java:180)
at soot.Main.main(Main.java:154)
soot.jimple.toolkits.typing.TypeException: Type Error(12)
at soot.jimple.toolkits.typing.TypeVariable.error(TypeVariable.java:527)
at soot.jimple.toolkits.typing.TypeNode.lca(TypeNode.java:326)
at soot.jimple.toolkits.typing.TypeVariable.fixApprox(TypeVariable.java:649)
at soot.jimple.toolkits.typing.TypeVariable.computeApprox(TypeVariable.java:548)
at soot.jimple.toolkits.typing.TypeResolver.compute_approximate_types(TypeResolver.java:865)
at soot.jimple.toolkits.typing.TypeResolver.compute_array_depth(TypeResolver.java:354)
at soot.jimple.toolkits.typing.TypeResolver.resolve_step_1(TypeResolver.java:253)
at soot.jimple.toolkits.typing.TypeResolver.resolve(TypeResolver.java:177)
at soot.jimple.toolkits.typing.TypeAssigner.internalTransform(TypeAssigner.java:57)
at soot.BodyTransformer.transform(BodyTransformer.java:51)
at soot.Transform.apply(Transform.java:88)
at soot.JimpleBodyPack.applyPhaseOptions(JimpleBodyPack.java:68)
at soot.JimpleBodyPack.internalApply(JimpleBodyPack.java:91)
at soot.Pack.apply(Pack.java:113)
at soot.coffi.CoffiMethodSource.getBody(CoffiMethodSource.java:115)
at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:79)
at soot.SootMethod.retrieveActiveBody(SootMethod.java:274)
at soot.shimple.ShimpleTransformer.internalTransform(ShimpleTransformer.java:54)
at soot.SceneTransformer.transform(SceneTransformer.java:39)
at soot.SceneTransformer.transform(SceneTransformer.java:45)
at soot.SceneTransformer.transform(SceneTransformer.java:50)
at soot.PackManager.runWholeProgramPacks(PackManager.java:297)
at soot.PackManager.runPacks(PackManager.java:275)
at soot.Main.run(Main.java:180)
at soot.Main.main(Main.java:154)
soot.jimple.toolkits.typing.TypeException: Type Error(12)
at soot.jimple.toolkits.typing.TypeVariable.error(TypeVariable.java:527)
at soot.jimple.toolkits.typing.TypeNode.lca(TypeNode.java:326)
at soot.jimple.toolkits.typing.TypeVariable.fixApprox(TypeVariable.java:649)
at soot.jimple.toolkits.typing.TypeVariable.computeApprox(TypeVariable.java:548)
at soot.jimple.toolkits.typing.TypeResolver.compute_approximate_types(TypeResolver.java:865)
at soot.jimple.toolkits.typing.TypeResolver.compute_array_depth(TypeResolver.java:354)
at soot.jimple.toolkits.typing.TypeResolver.resolve_step_2(TypeResolver.java:284)
at soot.jimple.toolkits.typing.TypeResolver.resolve(TypeResolver.java:190)
at soot.jimple.toolkits.typing.TypeAssigner.internalTransform(TypeAssigner.java:57)
at soot.BodyTransformer.transform(BodyTransformer.java:51)
at soot.Transform.apply(Transform.java:88)
at soot.JimpleBodyPack.applyPhaseOptions(JimpleBodyPack.java:68)
at soot.JimpleBodyPack.internalApply(JimpleBodyPack.java:91)
at soot.Pack.apply(Pack.java:113)
at soot.coffi.CoffiMethodSource.getBody(CoffiMethodSource.java:115)
at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:79)
at soot.SootMethod.retrieveActiveBody(SootMethod.java:274)
at soot.shimple.ShimpleTransformer.internalTransform(ShimpleTransformer.java:54)
at soot.SceneTransformer.transform(SceneTransformer.java:39)
at soot.SceneTransformer.transform(SceneTransformer.java:45)
at soot.SceneTransformer.transform(SceneTransformer.java:50)
at soot.PackManager.runWholeProgramPacks(PackManager.java:297)
at soot.PackManager.runPacks(PackManager.java:275)
at soot.Main.run(Main.java:180)
at soot.Main.main(Main.java:154)
soot.jimple.toolkits.typing.TypeException: Type Error(12)
at soot.jimple.toolkits.typing.TypeVariable.error(TypeVariable.java:527)
at soot.jimple.toolkits.typing.TypeNode.lca(TypeNode.java:326)
at soot.jimple.toolkits.typing.TypeVariable.fixApprox(TypeVariable.java:649)
at soot.jimple.toolkits.typing.TypeVariable.computeApprox(TypeVariable.java:548)
at soot.jimple.toolkits.typing.TypeResolver.compute_approximate_types(TypeResolver.java:865)
at soot.jimple.toolkits.typing.TypeResolver.compute_array_depth(TypeResolver.java:354)
at soot.jimple.toolkits.typing.TypeResolver.resolve_step_1(TypeResolver.java:253)
at soot.jimple.toolkits.typing.TypeResolver.resolve(TypeResolver.java:177)
at soot.jimple.toolkits.typing.TypeAssigner.internalTransform(TypeAssigner.java:57)
at soot.BodyTransformer.transform(BodyTransformer.java:51)
at soot.Transform.apply(Transform.java:88)
at soot.JimpleBodyPack.applyPhaseOptions(JimpleBodyPack.java:68)
at soot.JimpleBodyPack.internalApply(JimpleBodyPack.java:91)
at soot.Pack.apply(Pack.java:113)
at soot.coffi.CoffiMethodSource.getBody(CoffiMethodSource.java:115)
at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:79)
at soot.SootMethod.retrieveActiveBody(SootMethod.java:274)
at soot.shimple.ShimpleTransformer.internalTransform(ShimpleTransformer.java:54)
at soot.SceneTransformer.transform(SceneTransformer.java:39)
at soot.SceneTransformer.transform(SceneTransformer.java:45)
at soot.SceneTransformer.transform(SceneTransformer.java:50)
at soot.PackManager.runWholeProgramPacks(PackManager.java:297)
at soot.PackManager.runPacks(PackManager.java:275)
at soot.Main.run(Main.java:180)
at soot.Main.main(Main.java:154)
soot.jimple.toolkits.typing.TypeException: Type Error(12)
at soot.jimple.toolkits.typing.TypeVariable.error(TypeVariable.java:527)
at soot.jimple.toolkits.typing.TypeNode.lca(TypeNode.java:326)
at soot.jimple.toolkits.typing.TypeVariable.fixApprox(TypeVariable.java:649)
at soot.jimple.toolkits.typing.TypeVariable.computeApprox(TypeVariable.java:548)
at soot.jimple.toolkits.typing.TypeResolver.compute_approximate_types(TypeResolver.java:865)
at soot.jimple.toolkits.typing.TypeResolver.compute_array_depth(TypeResolver.java:354)
at soot.jimple.toolkits.typing.TypeResolver.resolve_step_2(TypeResolver.java:284)
at soot.jimple.toolkits.typing.TypeResolver.resolve(TypeResolver.java:190)
at soot.jimple.toolkits.typing.TypeAssigner.internalTransform(TypeAssigner.java:57)
at soot.BodyTransformer.transform(BodyTransformer.java:51)
at soot.Transform.apply(Transform.java:88)
at soot.JimpleBodyPack.applyPhaseOptions(JimpleBodyPack.java:68)
at soot.JimpleBodyPack.internalApply(JimpleBodyPack.java:91)
at soot.Pack.apply(Pack.java:113)
at soot.coffi.CoffiMethodSource.getBody(CoffiMethodSource.java:115)
at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:79)
at soot.SootMethod.retrieveActiveBody(SootMethod.java:274)
at soot.shimple.ShimpleTransformer.internalTransform(ShimpleTransformer.java:54)
at soot.SceneTransformer.transform(SceneTransformer.java:39)
at soot.SceneTransformer.transform(SceneTransformer.java:45)
at soot.SceneTransformer.transform(SceneTransformer.java:50)
at soot.PackManager.runWholeProgramPacks(PackManager.java:297)
at soot.PackManager.runPacks(PackManager.java:275)
at soot.Main.run(Main.java:180)
at soot.Main.main(Main.java:154)
soot.jimple.toolkits.typing.TypeException: Type Error(12)
at soot.jimple.toolkits.typing.TypeVariable.error(TypeVariable.java:527)
at soot.jimple.toolkits.typing.TypeNode.lca(TypeNode.java:326)
at soot.jimple.toolkits.typing.TypeVariable.fixApprox(TypeVariable.java:649)
at soot.jimple.toolkits.typing.TypeVariable.computeApprox(TypeVariable.java:548)
at soot.jimple.toolkits.typing.TypeResolver.compute_approximate_types(TypeResolver.java:865)
at soot.jimple.toolkits.typing.TypeResolver.compute_array_depth(TypeResolver.java:354)
at soot.jimple.toolkits.typing.TypeResolver.resolve_step_1(TypeResolver.java:253)
at soot.jimple.toolkits.typing.TypeResolver.resolve(TypeResolver.java:177)
at soot.jimple.toolkits.typing.TypeAssigner.internalTransform(TypeAssigner.java:57)
at soot.BodyTransformer.transform(BodyTransformer.java:51)
at soot.Transform.apply(Transform.java:88)
at soot.JimpleBodyPack.applyPhaseOptions(JimpleBodyPack.java:68)
at soot.JimpleBodyPack.internalApply(JimpleBodyPack.java:91)
at soot.Pack.apply(Pack.java:113)
at soot.coffi.CoffiMethodSource.getBody(CoffiMethodSource.java:115)
at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:79)
at soot.SootMethod.retrieveActiveBody(SootMethod.java:274)
at soot.shimple.ShimpleTransformer.internalTransform(ShimpleTransformer.java:54)
at soot.SceneTransformer.transform(SceneTransformer.java:39)
at soot.SceneTransformer.transform(SceneTransformer.java:45)
at soot.SceneTransformer.transform(SceneTransformer.java:50)
at soot.PackManager.runWholeProgramPacks(PackManager.java:297)
at soot.PackManager.runPacks(PackManager.java:275)
at soot.Main.run(Main.java:180)
at soot.Main.main(Main.java:154)
soot.jimple.toolkits.typing.TypeException: Type Error(12)
at soot.jimple.toolkits.typing.TypeVariable.error(TypeVariable.java:527)
at soot.jimple.toolkits.typing.TypeNode.lca(TypeNode.java:326)
at soot.jimple.toolkits.typing.TypeVariable.fixApprox(TypeVariable.java:649)
at soot.jimple.toolkits.typing.TypeVariable.computeApprox(TypeVariable.java:548)
at soot.jimple.toolkits.typing.TypeResolver.compute_approximate_types(TypeResolver.java:865)
at soot.jimple.toolkits.typing.TypeResolver.compute_array_depth(TypeResolver.java:354)
at soot.jimple.toolkits.typing.TypeResolver.resolve_step_2(TypeResolver.java:284)
at soot.jimple.toolkits.typing.TypeResolver.resolve(TypeResolver.java:190)
at soot.jimple.toolkits.typing.TypeAssigner.internalTransform(TypeAssigner.java:57)
at soot.BodyTransformer.transform(BodyTransformer.java:51)
at soot.Transform.apply(Transform.java:88)
at soot.JimpleBodyPack.applyPhaseOptions(JimpleBodyPack.java:68)
at soot.JimpleBodyPack.internalApply(JimpleBodyPack.java:91)
at soot.Pack.apply(Pack.java:113)
at soot.coffi.CoffiMethodSource.getBody(CoffiMethodSource.java:115)
at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:79)
at soot.SootMethod.retrieveActiveBody(SootMethod.java:274)
at soot.shimple.ShimpleTransformer.internalTransform(ShimpleTransformer.java:54)
at soot.SceneTransformer.transform(SceneTransformer.java:39)
at soot.SceneTransformer.transform(SceneTransformer.java:45)
at soot.SceneTransformer.transform(SceneTransformer.java:50)
at soot.PackManager.runWholeProgramPacks(PackManager.java:297)
at soot.PackManager.runPacks(PackManager.java:275)
at soot.Main.run(Main.java:180)
at soot.Main.main(Main.java:154)
soot.jimple.toolkits.typing.TypeException: Type Error(12)
at soot.jimple.toolkits.typing.TypeVariable.error(TypeVariable.java:527)
at soot.jimple.toolkits.typing.TypeNode.lca(TypeNode.java:326)
at soot.jimple.toolkits.typing.ConstraintChecker.caseAssignStmt(ConstraintChecker.java:575)
at soot.jimple.internal.JAssignStmt.apply(JAssignStmt.java:222)
at soot.jimple.toolkits.typing.ConstraintChecker.check(ConstraintChecker.java:56)
at soot.jimple.toolkits.typing.TypeResolver.check_constraints(TypeResolver.java:802)
at soot.jimple.toolkits.typing.TypeResolver.resolve_step_1(TypeResolver.java:272)
at soot.jimple.toolkits.typing.TypeResolver.resolve(TypeResolver.java:177)
at soot.jimple.toolkits.typing.TypeAssigner.internalTransform(TypeAssigner.java:57)
at soot.BodyTransformer.transform(BodyTransformer.java:51)
at soot.Transform.apply(Transform.java:88)
at soot.JimpleBodyPack.applyPhaseOptions(JimpleBodyPack.java:68)
at soot.JimpleBodyPack.internalApply(JimpleBodyPack.java:91)
at soot.Pack.apply(Pack.java:113)
at soot.coffi.CoffiMethodSource.getBody(CoffiMethodSource.java:115)
at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:79)
at soot.SootMethod.retrieveActiveBody(SootMethod.java:274)
at soot.shimple.ShimpleTransformer.internalTransform(ShimpleTransformer.java:54)
at soot.SceneTransformer.transform(SceneTransformer.java:39)
at soot.SceneTransformer.transform(SceneTransformer.java:45)
at soot.SceneTransformer.transform(SceneTransformer.java:50)
at soot.PackManager.runWholeProgramPacks(PackManager.java:297)
at soot.PackManager.runPacks(PackManager.java:275)
at soot.Main.run(Main.java:180)
at soot.Main.main(Main.java:154)
(javax.servlet.http.Cookie) l2[java.lang.Object(1)<->javax.servlet.http.Cookie(1536)]
soot.jimple.toolkits.typing.TypeException: Type Error(12)
at soot.jimple.toolkits.typing.TypeVariable.error(TypeVariable.java:527)
at soot.jimple.toolkits.typing.TypeNode.lca(TypeNode.java:326)
at soot.jimple.toolkits.typing.ConstraintChecker.caseAssignStmt(ConstraintChecker.java:575)
at soot.jimple.internal.JAssignStmt.apply(JAssignStmt.java:222)
at soot.jimple.toolkits.typing.ConstraintChecker.check(ConstraintChecker.java:56)
at soot.jimple.toolkits.typing.TypeResolver.check_constraints(TypeResolver.java:802)
at soot.jimple.toolkits.typing.TypeResolver.resolve_step_2(TypeResolver.java:303)
at soot.jimple.toolkits.typing.TypeResolver.resolve(TypeResolver.java:190)
at soot.jimple.toolkits.typing.TypeAssigner.internalTransform(TypeAssigner.java:57)
at soot.BodyTransformer.transform(BodyTransformer.java:51)
at soot.Transform.apply(Transform.java:88)
at soot.JimpleBodyPack.applyPhaseOptions(JimpleBodyPack.java:68)
at soot.JimpleBodyPack.internalApply(JimpleBodyPack.java:91)
at soot.Pack.apply(Pack.java:113)
at soot.coffi.CoffiMethodSource.getBody(CoffiMethodSource.java:115)
at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:79)
at soot.SootMethod.retrieveActiveBody(SootMethod.java:274)
at soot.shimple.ShimpleTransformer.internalTransform(ShimpleTransformer.java:54)
at soot.SceneTransformer.transform(SceneTransformer.java:39)
at soot.SceneTransformer.transform(SceneTransformer.java:45)
at soot.SceneTransformer.transform(SceneTransformer.java:50)
at soot.PackManager.runWholeProgramPacks(PackManager.java:297)
at soot.PackManager.runPacks(PackManager.java:275)
at soot.Main.run(Main.java:180)
at soot.Main.main(Main.java:154)
(javax.servlet.http.Cookie) l2[java.lang.Object(1)<->javax.servlet.http.Cookie(1536)]
soot.jimple.toolkits.typing.TypeException: Type Error(12)
at soot.jimple.toolkits.typing.TypeVariable.error(TypeVariable.java:527)
at soot.jimple.toolkits.typing.TypeNode.lca(TypeNode.java:326)
at soot.jimple.toolkits.typing.ConstraintChecker.caseAssignStmt(ConstraintChecker.java:575)
at soot.jimple.internal.JAssignStmt.apply(JAssignStmt.java:222)
at soot.jimple.toolkits.typing.ConstraintChecker.check(ConstraintChecker.java:56)
at soot.jimple.toolkits.typing.TypeResolver.check_and_fix_constraints(TypeResolver.java:838)
at soot.jimple.toolkits.typing.TypeResolver.resolve_step_3(TypeResolver.java:311)
at soot.jimple.toolkits.typing.TypeResolver.resolve(TypeResolver.java:203)
at soot.jimple.toolkits.typing.TypeAssigner.internalTransform(TypeAssigner.java:57)
at soot.BodyTransformer.transform(BodyTransformer.java:51)
at soot.Transform.apply(Transform.java:88)
at soot.JimpleBodyPack.applyPhaseOptions(JimpleBodyPack.java:68)
at soot.JimpleBodyPack.internalApply(JimpleBodyPack.java:91)
at soot.Pack.apply(Pack.java:113)
at soot.coffi.CoffiMethodSource.getBody(CoffiMethodSource.java:115)
at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:79)
at soot.SootMethod.retrieveActiveBody(SootMethod.java:274)
at soot.shimple.ShimpleTransformer.internalTransform(ShimpleTransformer.java:54)
at soot.SceneTransformer.transform(SceneTransformer.java:39)
at soot.SceneTransformer.transform(SceneTransformer.java:45)
at soot.SceneTransformer.transform(SceneTransformer.java:50)
at soot.PackManager.runWholeProgramPacks(PackManager.java:297)
at soot.PackManager.runPacks(PackManager.java:275)
at soot.Main.run(Main.java:180)
at soot.Main.main(Main.java:154)
(javax.servlet.http.Cookie) l2[java.lang.Object(1)<->javax.servlet.http.Cookie(1536)]
Exception in thread "main" java.lang.RuntimeException: soot.jimple.toolkits.typing.TypeException: soot.jimple.toolkits.typing.ConstraintChecker$RuntimeTypeException: Type Error(12)
at soot.jimple.toolkits.typing.ConstraintChecker.error(ConstraintChecker.java:78)
at soot.jimple.toolkits.typing.ConstraintChecker.caseAssignStmt(ConstraintChecker.java:581)
at soot.jimple.internal.JAssignStmt.apply(JAssignStmt.java:222)
at soot.jimple.toolkits.typing.ConstraintChecker.check(ConstraintChecker.java:56)
at soot.jimple.toolkits.typing.TypeResolver.check_and_fix_constraints(TypeResolver.java:838)
at soot.jimple.toolkits.typing.TypeResolver.resolve_step_3(TypeResolver.java:311)
at soot.jimple.toolkits.typing.TypeResolver.resolve(TypeResolver.java:203)
at soot.jimple.toolkits.typing.TypeAssigner.internalTransform(TypeAssigner.java:57)
at soot.BodyTransformer.transform(BodyTransformer.java:51)
at soot.Transform.apply(Transform.java:88)
at soot.JimpleBodyPack.applyPhaseOptions(JimpleBodyPack.java:68)
at soot.JimpleBodyPack.internalApply(JimpleBodyPack.java:91)
at soot.Pack.apply(Pack.java:113)
at soot.coffi.CoffiMethodSource.getBody(CoffiMethodSource.java:115)
at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:79)
at soot.SootMethod.retrieveActiveBody(SootMethod.java:274)
at soot.shimple.ShimpleTransformer.internalTransform(ShimpleTransformer.java:54)
at soot.SceneTransformer.transform(SceneTransformer.java:39)
at soot.SceneTransformer.transform(SceneTransformer.java:45)
at soot.SceneTransformer.transform(SceneTransformer.java:50)
at soot.PackManager.runWholeProgramPacks(PackManager.java:297)
at soot.PackManager.runPacks(PackManager.java:275)
at soot.Main.run(Main.java:180)
at soot.Main.main(Main.java:154)
at soot.jimple.toolkits.typing.ConstraintChecker.check(ConstraintChecker.java:64)
at soot.jimple.toolkits.typing.TypeResolver.check_and_fix_constraints(TypeResolver.java:838)
at soot.jimple.toolkits.typing.TypeResolver.resolve_step_3(TypeResolver.java:311)
at soot.jimple.toolkits.typing.TypeResolver.resolve(TypeResolver.java:203)
at soot.jimple.toolkits.typing.TypeAssigner.internalTransform(TypeAssigner.java:57)
at soot.BodyTransformer.transform(BodyTransformer.java:51)
at soot.Transform.apply(Transform.java:88)
at soot.JimpleBodyPack.applyPhaseOptions(JimpleBodyPack.java:68)
at soot.JimpleBodyPack.internalApply(JimpleBodyPack.java:91)
at soot.Pack.apply(Pack.java:113)
at soot.coffi.CoffiMethodSource.getBody(CoffiMethodSource.java:115)
at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:79)
at soot.SootMethod.retrieveActiveBody(SootMethod.java:274)
at soot.shimple.ShimpleTransformer.internalTransform(ShimpleTransformer.java:54)
at soot.SceneTransformer.transform(SceneTransformer.java:39)
at soot.SceneTransformer.transform(SceneTransformer.java:45)
at soot.SceneTransformer.transform(SceneTransformer.java:50)
at soot.PackManager.runWholeProgramPacks(PackManager.java:297)
at soot.PackManager.runPacks(PackManager.java:275)
at soot.Main.run(Main.java:180)
at soot.Main.main(Main.java:154)
at soot.jimple.toolkits.typing.TypeResolver.resolve(TypeResolver.java:211)
at soot.jimple.toolkits.typing.TypeAssigner.internalTransform(TypeAssigner.java:57)
at soot.BodyTransformer.transform(BodyTransformer.java:51)
at soot.Transform.apply(Transform.java:88)
at soot.JimpleBodyPack.applyPhaseOptions(JimpleBodyPack.java:68)
at soot.JimpleBodyPack.internalApply(JimpleBodyPack.java:91)
at soot.Pack.apply(Pack.java:113)
at soot.coffi.CoffiMethodSource.getBody(CoffiMethodSource.java:115)
at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:79)
at soot.SootMethod.retrieveActiveBody(SootMethod.java:274)
at soot.shimple.ShimpleTransformer.internalTransform(ShimpleTransformer.java:54)
at soot.SceneTransformer.transform(SceneTransformer.java:39)
at soot.SceneTransformer.transform(SceneTransformer.java:45)
at soot.SceneTransformer.transform(SceneTransformer.java:50)
at soot.PackManager.runWholeProgramPacks(PackManager.java:297)
at soot.PackManager.runPacks(PackManager.java:275)
at soot.Main.run(Main.java:180)
at soot.Main.main(Main.java:154)
-------------- next part --------------
$ java -mx400m soot.Main -allow-phantom-refs -w -f J -p cg verbose:true the.class.fqn
Soot started on Wed Oct 27 16:57:14 MEST 2004
Warning: javax.servlet.http.HttpServletRequest is a phantom class!
Warning: javax.servlet.http.HttpServletResponse is a phantom class!
Warning: javax.servlet.ServletResponse is a phantom class!
Warning: javax.servlet.ServletRequest is a phantom class!
Warning: javax.servlet.http.HttpSession is a phantom class!
Warning: javax.servlet.ServletContext is a phantom class!
Warning: javax.servlet.http.Cookie is a phantom class!
Warning: javax.servlet.http.HttpUtils is a phantom class!
Warning: javax.servlet.ServletInputStream is a phantom class!
Warning: com.informix.jdbc.IfmxPreparedStatement is a phantom class!
Warning: javax.net.ssl.SSLSocketFactory is a phantom class!
Warning: javax.net.ssl.SSLSocket is a phantom class!
Warning: javax.net.ssl.SSLException is a phantom class!
Warning: com.sun.net.ssl.internal.ssl.Provider is a phantom class!
Warning: javax.net.ssl.SSLSession is a phantom class!
Warning: javax.security.cert.X509Certificate is a phantom class!
Warning: iaik.security.ssl.SSLContext is a phantom class!
Warning: iaik.security.ssl.SSLClientContext is a phantom class!
Warning: iaik.security.ssl.SSLSocket is a phantom class!
Warning: org.xwt.TinySSL is a phantom class!
Warning: org.xwt.util.Log is a phantom class!
Exception in thread "main" java.lang.NullPointerException
at soot.jimple.toolkits.typing.TypeNode.<init>(TypeNode.java:85)
at soot.jimple.toolkits.typing.ClassHierarchy$ConstructorChooser.caseRefType(ClassHierarchy.java:238)
at soot.RefType.apply(RefType.java:128)
at soot.jimple.toolkits.typing.ClassHierarchy$ConstructorChooser.typeNode(ClassHierarchy.java:231)
at soot.jimple.toolkits.typing.ClassHierarchy.typeNode(ClassHierarchy.java:127)
at soot.jimple.toolkits.typing.TypeResolver.typeVariable(TypeResolver.java:134)
at soot.jimple.toolkits.typing.ConstraintCollector.caseAssignStmt(ConstraintCollector.java:443)
at soot.jimple.internal.JAssignStmt.apply(JAssignStmt.java:222)
at soot.jimple.toolkits.typing.ConstraintCollector.collect(ConstraintCollector.java:53)
at soot.jimple.toolkits.typing.TypeResolver.collect_constraints_1_2(TypeResolver.java:325)
at soot.jimple.toolkits.typing.TypeResolver.resolve_step_1(TypeResolver.java:250)
at soot.jimple.toolkits.typing.TypeResolver.resolve(TypeResolver.java:177)
at soot.jimple.toolkits.typing.TypeAssigner.internalTransform(TypeAssigner.java:57)
at soot.BodyTransformer.transform(BodyTransformer.java:51)
at soot.Transform.apply(Transform.java:88)
at soot.JimpleBodyPack.applyPhaseOptions(JimpleBodyPack.java:68)
at soot.JimpleBodyPack.internalApply(JimpleBodyPack.java:91)
at soot.Pack.apply(Pack.java:113)
at soot.coffi.CoffiMethodSource.getBody(CoffiMethodSource.java:115)
at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:79)
at soot.SootMethod.retrieveActiveBody(SootMethod.java:274)
at soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.processNewMethod(OnFlyCallGraphBuilder.java:191)
at soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.processReachables(OnFlyCallGraphBuilder.java:82)
at soot.jimple.toolkits.callgraph.CallGraphBuilder.build(CallGraphBuilder.java:94)
at soot.jimple.toolkits.callgraph.CHATransformer.internalTransform(CHATransformer.java:43)
at soot.SceneTransformer.transform(SceneTransformer.java:39)
at soot.Transform.apply(Transform.java:79)
at soot.RadioScenePack.internalApply(RadioScenePack.java:60)
at soot.jimple.toolkits.callgraph.CallGraphPack.internalApply(CallGraphPack.java:36)
at soot.Pack.apply(Pack.java:107)
at soot.PackManager.runWholeProgramPacks(PackManager.java:303)
at soot.PackManager.runPacks(PackManager.java:275)
at soot.Main.run(Main.java:180)
at soot.Main.main(Main.java:154)
More information about the Soot-list
mailing list