[Soot-list] What caused this soot.jimple.toolkits.typing.TypeException?

[Sunny]

Hi,

I ran the Soot with the command:

java -Xmx700m soot.Main -f jimple -app -x org.eclipse.core. -x
org.eclipse.osgi. -x org.osgi. modelbuilder.ModelBuilder

It just worked fine and nearly 1000 .jimple files were produced. But when I
added the option "-p jb use-original-names:true", an error occurred. Please
see below:
java -Xmx700m soot.Main -f jimple -p jb use-original-names:true -app -x
org.eclipse.core. -x org.eclipse.osgi. -x org.osgi.
modelbuilder.ModelBuilder

Soot started on Wed Jun 07 17:24:54 EDT 2006
Exception in thread "main" java.lang.RuntimeException:
soot.jimple.toolkits.typi
ng.TypeException:
soot.jimple.toolkits.typing.ConstraintChecker$RuntimeTypeExcep
tion: Type Error(12)
        at soot.jimple.toolkits.typing.ConstraintChecker.error
(ConstraintChecker
.java:78)
        at soot.jimple.toolkits.typing.ConstraintChecker.caseIfStmt
(ConstraintCh
ecker.java:965)
        at soot.jimple.internal.JIfStmt.apply(JIfStmt.java:142)
        at soot.jimple.toolkits.typing.ConstraintChecker.check
(ConstraintChecker
.java:56)
        at
soot.jimple.toolkits.typing.TypeResolver.check_and_fix_constraints(Ty
peResolver.java:843)
        at soot.jimple.toolkits.typing.TypeResolver.resolve_step_3
(TypeResolver.
java:316)
        at soot.jimple.toolkits.typing.TypeResolver.resolve(
TypeResolver.java:20
5)
        at soot.jimple.toolkits.typing.TypeAssigner.internalTransform
(TypeAssign
er.java:57)
        at soot.BodyTransformer.transform(BodyTransformer.java:51)
        at soot.Transform.apply(Transform.java:104)
        at soot.JimpleBodyPack.applyPhaseOptions(JimpleBodyPack.java:70)
        at soot.JimpleBodyPack.internalApply(JimpleBodyPack.java:93)
        at soot.Pack.apply(Pack.java:120)
        at soot.coffi.CoffiMethodSource.getBody(CoffiMethodSource.java:115)
        at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:81)
        at soot.SootMethod.retrieveActiveBody(SootMethod.java:320)
        at soot.PackManager.retrieveAllBodies(PackManager.java:863)
        at soot.PackManager.runPacks(PackManager.java:323)
        at soot.Main.run(Main.java:203)
        at soot.Main.main(Main.java:146)

        at soot.jimple.toolkits.typing.ConstraintChecker.check
(ConstraintChecker
.java:64)
        at
soot.jimple.toolkits.typing.TypeResolver.check_and_fix_constraints(Ty
peResolver.java:843)
        at soot.jimple.toolkits.typing.TypeResolver.resolve_step_3
(TypeResolver.
java:316)
        at soot.jimple.toolkits.typing.TypeResolver.resolve(
TypeResolver.java:20
5)
        at soot.jimple.toolkits.typing.TypeAssigner.internalTransform
(TypeAssign
er.java:57)
        at soot.BodyTransformer.transform(BodyTransformer.java:51)
        at soot.Transform.apply(Transform.java:104)
        at soot.JimpleBodyPack.applyPhaseOptions(JimpleBodyPack.java:70)
        at soot.JimpleBodyPack.internalApply(JimpleBodyPack.java:93)
        at soot.Pack.apply(Pack.java:120)
        at soot.coffi.CoffiMethodSource.getBody(CoffiMethodSource.java:115)
        at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:81)
        at soot.SootMethod.retrieveActiveBody(SootMethod.java:320)
        at soot.PackManager.retrieveAllBodies(PackManager.java:863)
        at soot.PackManager.runPacks(PackManager.java:323)
        at soot.Main.run(Main.java:203)
        at soot.Main.main(Main.java:146)

        at soot.jimple.toolkits.typing.TypeResolver.resolve(
TypeResolver.java:21
3)
        at soot.jimple.toolkits.typing.TypeAssigner.internalTransform
(TypeAssign
er.java:57)
        at soot.BodyTransformer.transform(BodyTransformer.java:51)
        at soot.Transform.apply(Transform.java:104)
        at soot.JimpleBodyPack.applyPhaseOptions(JimpleBodyPack.java:70)
        at soot.JimpleBodyPack.internalApply(JimpleBodyPack.java:93)
        at soot.Pack.apply(Pack.java:120)
        at soot.coffi.CoffiMethodSource.getBody(CoffiMethodSource.java:115)
        at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:81)
        at soot.SootMethod.retrieveActiveBody(SootMethod.java:320)
        at soot.PackManager.retrieveAllBodies(PackManager.java:863)
        at soot.PackManager.runPacks(PackManager.java:323)
        at soot.Main.run(Main.java:203)
        at soot.Main.main(Main.java:146)


I found a similar message on the list but there is no solution to it. Does
anybody know how to fix this? Thanks very much!

Sunny
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20060607/4eac4d55/attachment.htm