[Soot-list] finding defboxes in branches

[Jason Ott]

Assume the following Jimple:

$i3 = ...                              // referenced as 1
$i4 = staticinvoke....          // referenced as 2

if $i3 != $i4 goto ...            // referenced as "if"

So I know that 1 and 2 are used in the if.  But what I don't know how to do
is capture 1 and 2 and save them in variables and then ask the if statement
if 1 or 2 are present in the if.

Thanks!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20150624/07821fbf/attachment.html