[Soot-list] Exception in thread "main" java.lang.RuntimeException: TypeStack merging failed; unequal stack lengths: 1 and 0

[Patrick Lam]

On 07/09/10 09:56, Ankur Sinha wrote:
> hi,
>
> I just mailed the list requesting help setting the soot-class-path. I
> managed to set it up manually, but have now run into this (twice):
>
> Exception in thread "main" java.lang.RuntimeException: TypeStack merging
> failed; unequal stack lengths: 1 and 0
> 	at soot.coffi.TypeStack.merge(TypeStack.java:137)
> 	at soot.coffi.CFG.jimplify(CFG.java:1192)
> 	at soot.coffi.CFG.jimplify(CFG.java:951)
> 	at soot.coffi.CoffiMethodSource.getBody(CoffiMethodSource.java:100)
> 	at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:82)
> 	at soot.SootMethod.retrieveActiveBody(SootMethod.java:315)
> 	at soot.PackManager.retrieveAllBodies(PackManager.java:967)
> 	at soot.PackManager.runPacks(PackManager.java:331)
> 	at soot.Main.run(Main.java:198)
> 	at soot.Main.main(Main.java:141)
> 	at startRun.main(startRun.java:55)
>
> Is this an error from in my code, or is it a Soot error?

That shouldn't happen. It would most likely be from some dodgy bytecode 
you're analyzing. You can confirm that by running Soot directly on your 
input. You should still get the error.

pat