[Soot-list] Truncating the search in Heros?

[Marc-André Laverdière-Papineau]

Hello,

I have a whitelist of methods that influence the facts in my IFDS 
analysis in a pre-determined way. I do not need to examine them and what 
would be inside.

How can I force the solver to avoid traversing them at all? I thought of 
not mapping the facts from the parameters, but I think the solver will 
visit the method for the zero and other facts.

Is there a trick?

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