Reverse control flow graph for control dependence

[Neil Walkinshaw <Neil.Walkinshaw@cis.strath.ac.uk>]

Hi,

I'm trying to use Soot to compute intra-procedural control dependencies 
using Cytron's algorithm. According to this, I need to compute the 
dominator tree on a reverse control flow graph. I have found the 
soot.shimple.internal.analysis.DominatorTree class which accepts a 
BlockGraph, but since the BlockGraph is not mutable, it seems impossible 
to construct a MutableDirectedGraph which reverses the Blockgraph in 
question. Are there any convenience methods in soot which I have 
overlooked? Do you have any suggestions that might help?

Thanks alot and best regards,

Neil