[Soot-list] Arithmetic expression manipulation in Soot?

[Bodden, Eric]

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 --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 841 bytes
Desc: Message signed with OpenPGP using GPGMail
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20131021/05a3ee5c/attachment.bin