[Soot-list] Control conditions

[Chris Pickett]

Navindra Umanee wrote:
> Venkatesh Prasad Ranganath <vranganath at sbcglobal.net> wrote:
> 
>>Does Soot contain implementation of control dependence?  I was under the
>>impression that it did not.  Please do correct me if I'm wrong.  If you
>>are looking for control dependence and other form of dependences then
>>may be you can use the implementations available from Indus
>>(http://indus.projects.cis.ksu.edu).
> 
> 
> As far as I know you can just compute dominance frontiers on a
> reversed block graph to get the control dependences.  There's an
> implementation of ReversibleGraph in Soot to allow you to do just
> this, although it wouldn't yield the branch information that Ashok
> wants.

It looks quite feasible to flow this additional information around.  You 
can determine true / false branch targets for an if statement easily: 
true will be an edge to IfStmt.getTarget(), and false will be an edge to 
the next node.

Cheers,
Chris