<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p>Hi there,</p>
<p>This is just a question I have about how Flowdroid handle
multiple common paths when a path is detected between a source and
multiple sinks.<br>
</p>
<p>I am experiencing a behavior with Flowdroid that I am not sure it
is expected :<br>
</p>
<p>This is a simplified structure of the program I am analyzing : <br>
</p>
<p>a() {<br>
s = source();<br>
b(s);<br>
}</p>
<p>b(s){<br>
c(s);<br>
}</p>
<p>In this program, there is a leak from source() to c().<br>
When I only use method b() as a sink, a leak is detected between
source() and b() -> this is normal.<br>
When I only use method c() as a sink, a leak is detected between
source() and c() through b() -> this is normal.<br>
But when I use b() and c() as sinks, only one leak between
source() and b() is found, not the one between source() and c()
-> I have to remove b() as sink to find the path from source()
to c() -> I do not think this is normal behavior, can someone
confirm ?</p>
<p>Thank you in advance,<br>
</p>
<div class="moz-signature">-- <br>
<pre class="moz-signature" cols="72"><b><font size="2" face="arial">Jordan Samhi</font></b>
<font size="1.5" face="arial">Doctoral Researcher
Interdisciplinary Centre for Security, Reliability and Trust
UNIVERSITY OF LUXEMBOURG
Kirchberg Campus
6, rue Richard Coudenhove-Kalergi
L-1359 Luxembourg
T: +352 466 644 9465
F: +352 466 644 39465
<a href="mailto:jordan.samhi@uni.lu">jordan.samhi@uni.lu</a> / <a href="https://www.uni.lu/">www.uni.lu</a>
</font>
</pre>
</div>
</body>
</html>