[Soot-list] Arithmetic expression manipulation in Soot?

[Yongzhi Wang]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20131017/b39853e0/attachment.html