[Soot-list] Dominate and Post-Dominate

[Eric Bodden]

Sorry this should have been:

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

On 21/06/07, Eric Bodden <eric.bodden at mail.mcgill.ca> wrote:
> 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
>


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