[Soot-list] reverse control flow graph

Eric Bodden eric.bodden at ec-spride.de
Mon Apr 2 11:30:37 EDT 2012


Hi Phil.

This should be as simple as:

DirectedGraph<Unit> reversed = new
soot.toolkits.graph.InverseGraph<Unit>(unitGraph);

Hope that helps,
Eric

On 2 April 2012 16:17, Phil Pratt-Szeliga <pcpratts at syr.edu> wrote:
> Hello,
>
> Has anyone had any experience constructing the reverse control flow
> (RCFG) graph from soot? To build a control dependence graph I need the
> dominator tree of a RCFG.
>
> Could I possibly take a BlockGraph and exchange preds and succs? Does
> this work for Exceptions?
>
> Thanks for any help,
> Phil Pratt-Szeliga
> Syracuse University
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list



-- 
Eric Bodden, Ph.D., http://bodden.de/
Head of Secure Software Engineering Group at EC SPRIDE
Principal Investigator in Secure Services at CASED
Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt


More information about the Soot-list mailing list