[Soot-list] Clarification on the Behavior of HEROS

[Marc-Andre Laverdiere-Papineau]

Hello,

I am coding an IFDS analysis that requires setting some facts to fields.

The question that I have is the following: if I give a fact to a field, 
what happens?

Does that dereferences get added to the set of seeds? If a field read 
was already processed, is it re-processed?

I need to understand that behavior, to make sure that I don't have any 
unsoundness in my analysis.

Regards,

-- 
Marc-André Laverdière-Papineau
Doctorant - PhD Candidate