<div dir="ltr">Hi all,<div><br></div><div>Recently, I try to use FlowDroid to extract complete data-flow paths in Android app.</div><div>However, I meet a problem in the following example.</div><div><br></div><div><i>a = source();</i></div><div><i><br></i></div><div><i>if(conditionA) {</i></div><div><i>   a = a + 1;</i></div><div><i>}</i></div><div><i>else {</i></div><div><i>   a = a * 1;</i></div><div><i>}</i></div><div><i><br></i></div><div><i>sink(a);</i></div><div><i><br></i></div><div>In the above example, I can extract only one data-flow path from source() to sink().</div><div>Obviously, there are two different data-flow paths in the code example.</div><div><br></div><div>I add the parameter "--pathalgo contextinsensitive" in our command line, while there is no use.</div><div><br></div><div>How can I solve this problem?</div><div>Thanks a lot!</div><div><br></div><div><span style="color:rgb(0,0,0);font-family:宋体,arial,Verdana,sans-serif;font-size:14px">--</span><br style="color:rgb(0,0,0);font-family:宋体,arial,Verdana,sans-serif;font-size:14px"><span style="color:rgb(0,0,0);font-family:宋体,arial,Verdana,sans-serif;font-size:14px">Best Regards,</span><div style="color:rgb(0,0,0);font-family:宋体,arial,Verdana,sans-serif;font-size:14px">Zhaoyi Meng</div></div><div><br></div></div>