<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">

<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>

</head>

<body dir="ltr">

<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;" dir="ltr">

<p></p>

<div>

<p class="MsoNormal"></p>

<div>

<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;

mso-ansi-language:DE-CH" lang="DE-CH">Hi All,</span></p>

<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;

mso-ansi-language:DE-CH" lang="DE-CH"> </span></p>

<span style="font-size:11.0pt;font-family:"Calibri",sans-serif">I get non-deterministic results with the files that can be downloaded below.</span>

<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif">Sometimes FlowDroid reports one flow, sometimes all the two flows.</span></p>

<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif">The Android app is very basic and was created as a proof-of-concept myself.

</span></p>

<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif"> </span></p>

<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif">Could this behavior originate from inappropriate filtering lists?</span></p>

<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif"> </span></p>

<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif"><a href="http://scg.unibe.ch/download/temp/non-deterministic-behavior.zip" class="OWAAutoLink">http://scg.unibe.ch/download/temp/non-deterministic-behavior.zip</a><br>

<br>

This zip file contains:<br>

- affected APK file<br>

- source of affected APK<br>

- log output with 1 leak found<br>

- log output with 2 leaks found<br>

- SourceAndSink list<br>

</span></p>

<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif"><br>

</span></p>

<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif">Best regards,<br>

Pascal</span></p>

</div>

<br>

<p></p>

<br>

</div>

<br>

<p></p>

</div>

</body>

</html>