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

[Bodden, Eric]

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 --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 841 bytes
Desc: Message signed with OpenPGP using GPGMail
Url : http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20140827/53abea6e/attachment.bin