<div dir="ltr">Hi,<br>I have the following test program:<br><br>================<br><br>package main;<br><br>public class Main {<br><br>    public final static int toFind = 11;<br><br>    public final static int toFindTwo = 15;<br><br>    public static void main(String args[]) {<br><br>        secondMethod(toFind, toFindTwo);<br><br>    }<br><br>   <br><br>    public static void secondMethod(int x, int y) {<br><br>    thirdMethod(x,y);<br><br>    }<br><br>   <br><br>    public static void thirdMethod(int x, int y) {<br><br>    TestClass testClass = new TestClass();<br><br>        testClass.testMethod(x);<br><br>        testClass.testMethod(y);<br><br>    }<br><br>}<br><br>================<div><br></div><div>I&#39;d like to be able to get all edges into testMethod and either use an existing analysis to try and detect their values (through the nested calls), or simply backtrace through the statements leading to the call.</div><div><br></div><div>So in short, I want my analysis to get &#39;testMethod&#39; as input, and for it to be able to output 11, 15.</div><div><br></div><div>Could someone please point me towards the right classes/examples?</div><div>Thank you!</div></div>