[Soot-list] Non-deterministic behavior with latest version of FlowDroid and Soot

[pascal.gadient at students.unibe.ch]

Hi All,

I get non-deterministic results with the files that can be downloaded below.
Sometimes FlowDroid reports one flow, sometimes all the two flows.
The Android app is very basic and was created as a proof-of-concept myself.

Could this behavior originate from inappropriate filtering lists?

http://scg.unibe.ch/download/temp/non-deterministic-behavior.zip

This zip file contains:
- affected APK file
- source of affected APK
- log output with 1 leak found
- log output with 2 leaks found
- SourceAndSink list

Best regards,
Pascal



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20171120/bc6cca98/attachment.html>