[Soot-list] A question about IFDSReachingDefinitions

[Hamid A. Toussi]

Hi Steven,

Thank you very much for your reply.

>
> There's a simple example:
>
> String s;
> if (i > 0)
>         s = "Hello World";
> else
>         s = "Soot is cool";
> send(s);
>
> In this case , you have two definitions for "s" at the statement "send(s)".

I ran IFDReachingDefinitions on a similar example. I got two separate
datafalow facts for different defintions of s at send(s):


if (i > 0) {
  s = "Hello World";
  s = $temp4
} else {
  $temp5 = "Soot is cool"
  $s = $temp5
}
send(s)
and I got Pair(s, s=$temp4) and Pair(s, s=$temp5) at send(s)

Also, I couldn't find any call to fact.getO2().add or something
similar in IFDSReachingDefinitions.java.

Thanks,
Hamid