<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Hi soot community,</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
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: <a href="https://github.com/Sable/soot/issues/1193">https://github.com/Sable/soot/issues/1193</a>. The good
news is that this problem is easy to reproduce with a very small program: </div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<span>public static void main(String[] args) {<br>
</span>
<div> try {<br>
</div>
<div> int keyCode = KeyEvent.class.getField("MODIFIER_COMMAND").getInt(KeyEvent.class);<br>
</div>
<div> System.out.println("AWT KS: " + keyCode);<br>
</div>
<div> } catch (Exception e) { e.printStackTrace(); }<br>
</div>
<span>}</span><br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<span><br>
</span></div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<span>In the above, the call to getInt is missing from the graph. See the bug writeup for slightly more information.</span></div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<span><br>
</span></div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<span>Any help in understanding the above, suggestions on settings to try, or confirmation that this is indeed a bug would be appreciated.</span></div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<span><br>
</span></div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<span>Best,</span></div>
<div id="Signature">
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0; margin-bottom:0"><span style="color:rgb(34,34,34); font-family:Arial,Helvetica,sans-serif; font-size:small"><span style="font-size:10pt; font-family:Verdana,sans-serif; color:black"><b>David Diepenbrock</b></span></span><span style="font-size:7.5pt; font-family:Verdana,sans-serif; color:rgb(98,98,98)"> | </span><span style="color:rgb(89,89,89); font-size:7.5pt">ddiepenbrock@pjrcorp.com </span></p>
</div>
</div>
</body>
</html>