<div dir="ltr">Hello,<div><br></div><div>I&#39;m trying to use the soot-infoflow component to perform taint analysis on a Java program. I have two examples as following:</div><div>Example 1:</div><div>-------------</div><div><div>  int source() {</div><div>    return -1;</div><div>  }</div></div><div><div>  static int foo(int p) {</div><div>    return p;</div><div>  }</div></div><div><div>  public static void main(String[] args) {</div><div>    Main m = new Main();</div><div>     int x = m.source();<br></div><div>     int y = foo(x);<br></div><div>     System.out.println(y);<br></div><div>  }</div></div><div>-------------<br></div><div>Example 2:</div><div><div>-------------</div><div><div>  int source() {</div><div>    return -1;</div><div>  }</div></div><div>  public static void main(String[] args) {<br></div><div><div>    Main m = new Main();</div><div>     int x = m.source();<br></div><div>     int y = Math.abs(x);<br></div><div>     System.out.println(y);<br></div><div>  }</div></div><div>-------------</div></div><div>Source: &lt;Main: int source()&gt;</div><div>Sink: &lt;java.io.PrintStream: void println(int)&gt;</div><div><br></div><div>soot-infoflow can detect the connection between the source and the sink in the first example but not in the second one. Can anyone please let me know how I should do to detect the connection in the second example? Thank you in advance.<br></div><div><br></div><div>Best,</div><div>John</div><div><br></div></div>