[Soot-list] is the information flow analysis safe?

[jiangfan shi]

Hi,

I know that under some situation the info-flow computes over-approximated
data dependency relations. For example,

a=b;
a=c;
d=a;

The info-flow will say that b flows to d and c flows d. This is
over-approximated because of not-considering control structure. Any
over-approximation is not a problem for my project.

What I do not know is under some situations, such as alias consideration, if
the info-flow analysis can miss some data dependency relations. Any comments
are very appreciated.

Thanks in advance.

Jiangfan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20090318/b16551ce/attachment.html