[Soot-list] Stack height is negative! exception

[Phil Pratt-Szeliga]

Hi Cristina,

If you can post a full example somewhere online and send a link to the
mailing list I will look at it.

Phil Pratt-Szeliga
Syracuse University
On May 11, 2012 4:11 PM, "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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20120511/e528a998/attachment.html