<div dir="ltr"><div>Hi All,</div><div><br></div><div>I just tried the example in the Flowdroid paper. The code is as following:</div><div>public class Main {</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>//    t = t + &quot;test&quot;;</div><div>    m.sink(t);</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 = source();</div><div>    x.f = w;</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 (t = t + &quot;test&quot;;) 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.</div><div><br></div><div>Best,</div><div>John</div></div>