[Soot-list] Control conditions

[Ashok Sreenivas]

Hi

I'm trying to identify control dependences in a sequential Java
program. I can use the existing dominance frontier (with some
hacking to make it post-dom frontier) to identify that a node
depends on a predicate node. But how do I identify the condition
under which it depends? That is, how do I identify that x = 10
depends on (i < 10) with label true, and x = 5 depends on (i <
10) with label false? Thanks in advance.

{
    ...
    if (i < 10)
        x = 10;
    else
        x = 5;
    ...
}

Ashok