[Soot-list] Arithmetic expression manipulation in Soot?

[Yongzhi Wang]

Hi, Eric,

I see, Thanks for the information!

Best regards,
Yongzhi


On Mon, Oct 21, 2013 at 4:25 AM, Bodden, Eric <eric.bodden at sit.fraunhofer.de
> wrote:

> Hello Yongzhi.
>
> No this is something one would typically use specialized tools for. Soot
> just supports some simple forms of constant propagation and folding.
>
> Cheers,
> Eric
>
> On 17.10.2013, at 23:27, Yongzhi Wang <wang.yongzhi2009 at gmail.com> wrote:
>
> > Dear All,
> >
> > I was wondering if soot has classes that support converting java
> (jimple) statement expressions into arithmetic expressions. Further more,
> does soot have classes to perform expression manipulation such as
> simplifying expression and solving equation.
> >
> > For example, suppose I have the statement in my program to be analyzed:
> >
> > x+3.5> y-2.5.
> >
> > Does soot have classes to facilitate me to parse those Jimple Value
> objects into arithmetic expression and simplify it into the following
> format?
> >
> > x-y+ 6>0
> >
> > Thanks!
> > Best regards,
> > Yongzhi Wang
> > _______________________________________________
> > 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
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20131021/40fd3495/attachment.html