[Soot-list] A question about IFDSReachingDefinitions

[Hamid A. Toussi]

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