<div dir="ltr">Hi,<div>I&#39;m trying to analyze a program so I can detect all values passed to a method. I&#39;ve been reading and playing with Soot for a while now, but I just can&#39;t seem to figure the right way to do this.</div><div>I even resorted to making the initial values &quot;final&quot; in hope of using the ConstantPropagatorAndFolder, which didn&#39;t seem to detect them at all.</div><div><br></div><div>I have the following program:</div><div>=======================</div><div><p class="p1"><b>package</b> <span class="s1">main;</span></p><p class="p2"><br></p><p class="p1"><b>public</b> <b>class</b> <span class="s1">Main</span></p><p class="p3">{</p><p class="p1"><span class="s1">  </span><b>public</b> <b>static</b> <b>final</b> <b>int</b> <span class="s1">toFind = 11;</span></p><p class="p1"><span class="s1">  </span><b>public</b> <b>static</b> <b>final</b> <b>int</b> <span class="s1">toFindTwo = 15;</span></p><p class="p2">  </p><p class="p3">  <span class="s2"><b>public</b> <b>static</b> <b>void</b> </span>main(String[] args)</p><p class="p3">  {</p><p class="p3">    <span class="s3">secondMethod</span>(11, 15);</p><p class="p3">  }</p><p class="p2">  </p><p class="p1"><span class="s1">  </span><b>public</b> <b>static</b> <b>void</b> <span class="s1">secondMethod(</span><b>int</b> <span class="s1">x, </span><b>int</b> <span class="s1">y)</span></p><p class="p3">  {</p><p class="p3">    <span class="s3">thirdMethod</span>(x, y);</p><p class="p3">  }</p><p class="p2">  </p><p class="p1"><span class="s1">  </span><b>public</b> <b>static</b> <b>void</b> <span class="s1">thirdMethod(</span><b>int</b> <span class="s1">x, </span><b>int</b> <span class="s1">y)</span></p><p class="p3">  {</p><p class="p3">    <span class="s3">TestClass</span> testClass = <span class="s2"><b>new</b> </span><span class="s3">TestClass</span>();</p><p class="p3">    testClass.<span class="s3">testMethod</span>(x);</p><p class="p3">    testClass.<span class="s3">testMethod</span>(y);</p><p class="p3">  }</p><p class="p3">}</p><p class="p3">=======================<br></p><p class="p3"><br></p><p class="p3">And I&#39;d like to be able to analyze all calls to &quot;testMethod&quot; and output the values of [11, 15].</p><p class="p3">Could anyone please point me in the right direction as to which techniques/classes/analyses I should use? Is it possible at all?</p><p class="p3">As the next step, I&#39;d like to be able to do this even if toFind and toFindTwo are not &quot;final&quot;.</p><p class="p3"><br></p><p class="p3">Thank you!</p></div></div>