[Soot-list] Retrieving branch information

[Kristen Walcott]

Hi,

I am able to extract the condition from a branch, but now I'm trying to
break the condition down so that I can plug it in as a condition in a
constraint solver.  Is there some easy way that I'm missing?
For example, if you have the condition $i0 < 10, I can extract the $i0 and
10 using the use boxes, but is there a way to get the "<" as well?

Thanks,
Kristen
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20090610/24534cb5/attachment.html