[Soot-list] Concurrent Analysis help - MhpAnalysis

[Eric Bodden]

> In the same analysis, if we use Runnable instead of extending Thread,
> the analysis returns all run methods for a start. Is there any way to
> make it more precise?

Oh does it? I thought it would use points-to analysis to narrow down
the possible receivers. If that's not happening then I am not sure why
not. Normally points-to analysis ought to take care of this.

Eric