[Soot-list] Concurrent Analysis help - MhpAnalysis

[Arnab De]

Most probably this is due to the context-insensitivity of spark. We
haven't tried with paddle yet.

On Tue, Jun 29, 2010 at 10:13 PM, Eric Bodden
<bodden at st.informatik.tu-darmstadt.de> wrote:
>> 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
>