[Soot-list] Can FlowDroid recognize source and sink in a worker thread?

[Jin Li]

Hi Eric,

I already opened an issue in the tracker.

Best Regards,
Jin


2014-08-27 17:29 GMT+08:00 Bodden, Eric <eric.bodden at sit.fraunhofer.de>:

>  OK, then this is the problem. Weird...
> Can you open an issue in the tracker, attach this conversation and the APK?
>
> Cheers,
> Eric
>
> --
> Sent from my mobile
> On Aug 27, 2014 9:27 AM, Jin Li <lijin1988 at gmail.com> wrote:
>    Hi Eric,
>
>  There is not a edge from run() to doPost
>
>  Best Regards,
>  Jin
>
>
> 2014-08-27 15:20 GMT+08:00 Bodden, Eric <eric.bodden at sit.fraunhofer.de>:
>
>>
>> On 27.08.2014, at 08:34, Jin Li <lijin1988 at gmail.com> wrote:
>>
>> > Hi Eric,
>> >
>>  > Yes, It contains an edge from onCreate() to run() and an edge from
>> onCreate() to start().
>>
>>  ... and the method Progress.run() does not contain a call-graph edge to
>> doPost either?
>>
>> Cheers,
>> Eric
>>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20140827/43383e23/attachment.html