[Soot-list] A question about IFDSReachingDefinitions

[Steven Arzt]

Hi Hamid,

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

Best regards,
  Steven

-----Ursprüngliche Nachricht-----
Von: soot-list-bounces at CS.McGill.CA [mailto:soot-list-bounces at CS.McGill.CA]
Im Auftrag von Hamid A. Toussi
Gesendet: Freitag, 6. Juni 2014 10:17
An: soot-list
Betreff: [Soot-list] A question about IFDSReachingDefinitions

Hi all,

I am not sure if I understood the example:
soot.jimple.toolkits.ide.exampleproblems.IFDSReachingDefinitions
completely but is there any reason that dataflow facts are pairs of Value
and Set<DefinitionStmt> and not simply pairs of Value and DefinitionStmt?
When we can have a value defined at several statements?

Thank you,
Hamid
_______________________________________________
Soot-list mailing list
Soot-list at CS.McGill.CA
https://mailman.CS.McGill.CA/mailman/listinfo/soot-list