[Soot-list] Stack height is negative! exception

[Eric Bodden]

Christina, can you try the -validate flag? It may help you to debug
this. Fact is that you are likely generating illegal bytecode.

Eric

On 11 May 2012 22:10, Cristina Ilie <crysgirlro at yahoo.com> wrote:
> Hello,
>
> Do you have any idea why I'm receiving this exception: [1]. All my
> statements are generated and they seem
> to be ok but at final it throws this exception. I run my tool so:
>
> ADiJaCDriver --p wjap enabled:false --via-grimp --p cg enabled:false --w --p
> wspp enabled:false --cp "..."
> --p shimple enabled:false --p jb use-original-names:true --p wstp
> enabled:false --p tag enabled:false --p stp enabled:false
> --p jap enabled:false --d C:\Users\Cris\work\AppSource\sootOutput AppSource
>
> Cristina
>
> [1]
> Caused by: java.lang.RuntimeException: Stack height is negative!
>     at soot.jimple.JasminClass.modifyStackHeight(JasminClass.java:55)
>     at soot.jimple.JasminClass.emit(JasminClass.java:43)
>     at
> soot.jimple.JasminClass$7.caseInterfaceInvokeExpr(JasminClass.java:2036)
>     at
> soot.jimple.internal.AbstractInterfaceInvokeExpr.apply(AbstractInterfaceInvokeExpr.java:118)
>     at soot.jimple.JasminClass.emitValue(JasminClass.java:1619)
>     at soot.jimple.JasminClass$5.caseInvokeStmt(JasminClass.java:1273)
>     at soot.jimple.internal.JInvokeStmt.apply(JInvokeStmt.java:101)
>     at soot.jimple.JasminClass.emitStmt(JasminClass.java:1242)
>     at soot.jimple.JasminClass.emitMethodBody(JasminClass.java:487)
>     at soot.AbstractJasminClass.emitMethod(AbstractJasminClass.java:697)
>     at soot.AbstractJasminClass.<init>(AbstractJasminClass.java:576)
>     at soot.jimple.JasminClass.<init>(JasminClass.java:63)
>     at soot.PackManager.writeClass(PackManager.java:880)
>     at soot.PackManager.writeOutput(PackManager.java:475)
>     at soot.PackManager.writeOutput(PackManager.java:400)
>     at soot.Main.run(Main.java:199)
>     at soot.Main.main(Main.java:141)
>     at ADiJaCDriver.main(ADiJaCDriver.java:120)
>     ... 5 more
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>



-- 
Eric Bodden, Ph.D., http://bodden.de/
Head of Secure Software Engineering Group at EC SPRIDE
Principal Investigator in Secure Services at CASED
Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt