<div dir="ltr">Hi All,<div><br></div><div>I just tried the example in the Flowdroid paper. The code is as following:</div><div>public class Main {<br></div><div><div>  public static void main(String[] args) {</div><div>    Main m = new Main();</div><div>    A a = new A();</div><div>    B b = a.g;</div><div>    m.foo(a);</div><div>    String t = a.g.f;</div><div><b><font color="#ff0000">//    t = t + &quot;test&quot;;</font></b></div><div>    m.<u>sink(t)</u>;</div><div>  }</div><div><br></div><div>  String source() {</div><div>    return &quot;test&quot;;</div><div>  }</div><div>  </div><div>  void sink(String f) {</div><div>    System.out.println(f);    </div><div>  }</div><div>  </div><div>  void foo(A z) {</div><div>    B x = z.g;</div><div>    String w = <u>source()</u>;</div><div>    x.f = w;</div><div>  }</div></div><div>}</div><div><br></div><div>I used soot-infoflow to detect flow from source() to sink() and it can successfully detect it. However, I am not sure how can I make Flowdroid to taint the indirect dependent value of a tainted value. For example, if I uncomment the bold, red line (<font color="#ff0000" style="font-weight: bold;">t = t + &quot;test&quot;;) </font><font color="#000000">in the function main(), Flowdroid cannot detect the connection between sources and sinks. Can you please let me know what I should do in this case? Thank you in advance.</font></div><div><font color="#000000"><br></font></div><div><font color="#000000">Best,</font></div><div><font color="#000000">John</font></div></div>