[Soot-list] Truncating the search in Heros?

[Bodden, Eric]

Hi.

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

That is right.

> Is there a trick?

Overwrite autoAddZero in your IFDSTabulationProblem to return false. Then you just need to make sure to not lose your ZERO on the way.

Eric