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

[Jin Li]

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/6834c176/attachment.html