[Soot-list] Dominate and Post-Dominate

[Eric Bodden]

This should work:

SootMethod m;
UnitGraph g = new ExceptionalUnitGraph(m.retrieveActiveBody());
PostDominatorAnalysis pda = new PostDominatorAnalysis(g);
if(((Collection)pda.getFlowBefore(s)).contains(t)){
 //s post-dominates t
}

Eric

On 21/06/07, Shahpoor Rahmani <sh_raha at yahoo.com> wrote:
> Hello Everyone,
>
> I looking for making Dependency Graph (Data / Control) bu soot. i find the
> toolkits have class for dominate and post-dominate but i can't use them to
> apply on my body of test case,,, so can you help me about commands and steps
> for this case and after can i have any choice to making Dependency graph?
>
> Yours,
>
> Shahpoor
>
>
>  ________________________________
> Bored stiff? Loosen up...
> Download and play hundreds of games for free on Yahoo! Games.
>
>
> _______________________________________________
> 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