[Soot-list] Dominator Analysis

[Phil Pratt-Szeliga]

Hello All,

See this references:
http://www.sable.mcgill.ca/soot/doc/soot/toolkits/graph/package-summary.html

Look at things like BlockGraph and CytronDominanceFrontier. The code I
posted about detecting loops I think gives examples on how to use
these classes.

Phil Pratt-Szeliga
Syracuse University
http://trifort.org/


On Mon, Feb 11, 2013 at 6:45 AM, Eric Bodden <eric.bodden at ec-spride.de> wrote:
> Hi.
>
>> I'm not sure but as you pointed we have blocks in Shimple therefore if I
>> check the Immediate dominator of the block that my variable is in I can get
>> my answer, is that correct?
>
> No, Shimple has no notion of blocks either. It just implements SSA.
>
> Eric
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>