[Soot-list] Control conditions

[Venkatesh Prasad Ranganath]

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).

On Thu, 2005-07-21 at 15:04 +0530, Ashok Sreenivas wrote:
> 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

--

Venkatesh Prasad Ranganath,
Kansas State University.
web: http://www.cis.ksu.edu/~rvprasad
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 307 bytes
Desc: This is a digitally signed message part
Url : http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20050721/f6a64751/attachment.bin