[Soot-list] Can we distinguish if() and loop predicate in Jimple

[Eric Bodden]

Hello.

No that's not quite possible. All you can do is try to find loops
(e.g. using LoopFinder). Then, if the head of this loop is at a
conditional statement you sort of know that it's a loop predicate.

Eric

2008/7/23 Sai Zhang <racezhang at gmail.com>:
> Hello all:
>
> I am now using soot to instrument the if() and loop (for, while) predicate
> in Jimple.
> However, the if() , for(), while() statement are all translated into
> GotoStmt, IfStmt in Jimple. I am
> wondering is it possible to distinguish the if() and other loop predicates
> in Jimple?
>
> thanks.
>
> --
>
> Sai Zhang
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>



-- 
Eric Bodden
Sable Research Group
McGill University, Montréal, Canada