[Soot-list] How to transform a Grimp file into class file
Yongzhi Wang
wang.yongzhi2009 at gmail.com
Mon Oct 28 20:05:07 EDT 2013
Do you know what is the standard way of creating statement to invoke static
function? I tried to use the following method
SootClass mathClass = Scene.v().loadClassAndSupport("java.lang.Math");
SootMethod toCall = Scene.v().getMethod ("<java.lang.Math: double
pow(double, double)>");
ArrayList<Value> params = new ArrayList<Value>();
params.add(baseValue);
params.add(indexValue);
InvokeExpr expoExpr= Grimp.v().newStaticInvokeExpr(toCall.makeRef(),
params);
However, I got the exception as follows:
java.lang.RuntimeException: tried to get nonexistent method
<java.lang.Math: double pow(double, double)>
at soot.Scene.getMethod(Scene.java:394)
I guess this is because the Math.pow() is a static method.
Best regards,
Yongzhi
On Mon, Oct 28, 2013 at 1:49 PM, Bodden, Eric <eric.bodden at sit.fraunhofer.de
> wrote:
> > "-validate" option still give me the same error.
>
>
> Hmm, in this case it is hard to tell. The Grimp code you generate is
> probably ill-formed. However, I have no idea what is and what is not
> allowed in Grimp - I have never used it myself. Therefore it's hard to tell
> for me.
>
> Eric
>
> >
> > Best regards,
> > Yongzhi
> >
> >
> > On Mon, Oct 28, 2013 at 10:14 AM, Bodden, Eric <
> eric.bodden at sit.fraunhofer.de> wrote:
> > Hello.
> >
> > Can you please try the -validate option? That way Soot usually catches
> malformed code earlier.
> >
> > Cheers,
> > Eric
> >
> > On 28.10.2013, at 13:53, Yongzhi Wang <wang.yongzhi2009 at gmail.com>
> wrote:
> >
> > > Dear Eric,
> > >
> > > Thanks for your information. I tried --via-grimp option:
> > >
> > > java -Xms512M -Xmx1024M -cp
> $SOOT_HOME/jasminclasses-custom.jar:$SOOT_HOME/polyglotclasses-1.3.5.jar:$SOOT_HOME/soot-trunk.jar:/Users/yongzhiwang/Documents/develop/soot_build/ExpObf.jar
> edu.fiu.YwangMain -cp
> .:$MAC_JRE_HOME/ut.jar:$MAC_JRE_HOME/classes.jar:$MAC_JRE_HOME/jce.jar -w
> --via-grimp -src-prec c -f c -include-all -process-dir ./Test/bin
> -output-dir Test/soot_output/
> > >
> > >
> > > However, when I generate class file, I get the following error:
> > >
> > > Writing to Test/soot_output/Sub.class
> > > Exception in thread "main" 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$4$6.caseDoubleType(JasminClass.java:1212)
> > > at soot.DoubleType.apply(DoubleType.java:60)
> > > at soot.jimple.JasminClass$4.caseGeExpr(JasminClass.java:1183)
> > > at soot.grimp.internal.GGeExpr.apply(GGeExpr.java:43)
> > > at soot.jimple.JasminClass.emitIfStmt(JasminClass.java:878)
> > > at soot.jimple.JasminClass$5.caseIfStmt(JasminClass.java:1316)
> > > at soot.jimple.internal.JIfStmt.apply(JIfStmt.java:139)
> > > 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:941)
> > > at soot.PackManager.writeOutput(PackManager.java:522)
> > > at soot.PackManager.writeOutput(PackManager.java:431)
> > > at soot.Main.run(Main.java:200)
> > > at soot.Main.main(Main.java:141)
> > >
> > > This error should relate to my transformed if statement. The grimp
> body of the if statement is :
> > >
> > > int i0, i1, i2;
> > >
> > > if java.lang.Math.pow(i1 + 6.084327287303699, i1 + 2.652800753429542)
> > 120.32605826124878 goto label0;
> > >
> > > The method that I generate such if statement is as follows:
> > >
> > > SootClass mathClass = Scene.v().loadClassAndSupport("java.lang.Math");
> > > SootMethod toCall = mathClass.getMethodByName("pow");
> > > params.add(baseValue);
> > > params.add(indexValue);
> > > InvokeExpr expoExpr= Grimp.v().newStaticInvokeExpr(toCall.makeRef(),
> params);
> > >
> > > Do you have any idea about the error? I was wondering if the statement
> generation method is correct or not. Thanks!
> > >
> > > Best regards,
> > > Yongzhi
> > >
> > >
> > > On Mon, Oct 28, 2013 at 4:53 AM, Bodden, Eric <
> eric.bodden at sit.fraunhofer.de> wrote:
> > > Hi.
> > >
> > > Please try the -via-grimp option:
> > > http://www.sable.mcgill.ca/soot/tutorial/usage/
> > >
> > > This should give you GrimpBody instances in general, which can then
> hold Grimp instructions.
> > >
> > > Cheers,
> > > Eric
> > >
> > >
> > > On 24.10.2013, at 23:43, Yongzhi Wang <wang.yongzhi2009 at gmail.com>
> wrote:
> > >
> > > > Dear All,
> > > >
> > > > I want to transform java program into a class file with some
> manipulations. My original transformation step is as follows. The
> transformation is performed in "jtp" step.
> > > >
> > > > Java --> Jimple --> class
> > > >
> > > > However, since Jimple can only accommodate three operators in each
> expression. I create some Grimp expressions (using Grimp.v().newXXX()
> function) during the java to jimple transformation. Therefore, the
> generated jimple file contains statements containing more than three
> operators. When I transform the generated Jimple into class, I got the
> following error.
> > > >
> > > > My question is how can I transform my generated jimple file
> (containing multiple operators) into class file? Or I simply shouldn't use
> the Grimp.v().newXXX() functions in the jtp transformation step? I know I
> can transform the generated expressions into jimple standard three operator
> format. However, I just want to see if there's any quicker way as I tried.
> > > >
> > > > java.lang.reflect.InvocationTargetException
> > > > at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
> > > > at
> sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
> > > > at
> sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
> > > > at java.lang.reflect.Method.invoke(Method.java:597)
> > > > at
> ca.mcgill.sable.soot.launching.SootThread.run(SootThread.java:138)
> > > > Caused by: java.lang.ClassCastException:
> soot.grimp.internal.GAddExpr cannot be cast to soot.jimple.ConvertToBaf
> > > > at
> soot.jimple.internal.AbstractStaticInvokeExpr.convertToBaf(AbstractStaticInvokeExpr.java:135)
> > > > at soot.jimple.internal.JIfStmt.convertToBaf(JIfStmt.java:277)
> > > > at soot.baf.BafBody.<init>(BafBody.java:104)
> > > > at soot.baf.Baf.newBody(Baf.java:560)
> > > > at soot.PackManager.runBodyPacks(PackManager.java:793)
> > > > at soot.PackManager.runBodyPacks(PackManager.java:463)
> > > > at soot.PackManager.runBodyPacks(PackManager.java:380)
> > > > at soot.PackManager.runPacks(PackManager.java:357)
> > > > at soot.Main.run(Main.java:198)
> > > > at soot.Main.main(Main.java:141)
> > > >
> > > > Thanks!
> > > >
> > > > Yongzhi
> > > > _______________________________________________
> > > > Soot-list mailing list
> > > > Soot-list at sable.mcgill.ca
> > > > http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
> > >
> > > --
> > > Prof. Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
> > > Head of Secure Software Engineering at Fraunhofer SIT, TU Darmstadt
> and EC SPRIDE
> > > Tel: +49 6151 16-75422 Fax: +49 6151 16-72051
> > > Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt
> > >
> > >
> >
> > --
> > Prof. Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
> > Head of Secure Software Engineering at Fraunhofer SIT, TU Darmstadt and
> EC SPRIDE
> > Tel: +49 6151 16-75422 Fax: +49 6151 16-72051
> > Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt
> >
> >
>
> --
> Prof. Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
> Head of Secure Software Engineering at Fraunhofer SIT, TU Darmstadt and
> EC SPRIDE
> Tel: +49 6151 16-75422 Fax: +49 6151 16-72051
> Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20131028/d5dd359c/attachment-0001.html
More information about the Soot-list
mailing list