[Soot-list] Missing callgraph edge from spark

[David Diepenbrock]

Hi soot community,

I'm looking for help regarding bug entry I wrote up recently about the spark missing an edge in the callgraph.  The bug writeup can be found here:  https://github.com/Sable/soot/issues/1193.  The good news is that this problem is easy to reproduce with a very small program:

public static void main(String[] args) {
    try {
        int keyCode = KeyEvent.class.getField("MODIFIER_COMMAND").getInt(KeyEvent.class);
        System.out.println("AWT KS: " + keyCode);
    } catch (Exception e) { e.printStackTrace(); }
}

In the above, the call to getInt is missing from the graph.  See the bug writeup for slightly more information.

Any help in understanding the above, suggestions on settings to try, or  confirmation that this is indeed a bug would be appreciated.

Best,

David Diepenbrock | ddiepenbrock at pjrcorp.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20190830/6c747b29/attachment.html>