<html><head><meta http-equiv="content-type" content="text/html; charset=us-ascii"><style>body { line-height: 1.5; }body { font-size: 11pt; font-family: ??; color: rgb(0, 0, 0); line-height: 1.5; }body { font-size: 10.5pt; color: rgb(0, 0, 0); line-height: 1.5; font-family: ??; }</style></head><body>
<div style="orphans: auto; widows: auto;"><font face="Times New Roman"><span></span><span style="orphans: 2; text-align: -webkit-auto; widows: 2; background-color: window;">Hi, all!</span></font></div><div style="orphans: auto; widows: auto;"><span style="font-family: 'Times New Roman'; font-size: medium; line-height: normal; orphans: 2; text-align: -webkit-auto; widows: 2; background-color: window;"><br></span></div><div style="orphans: auto; widows: auto;"><span style="font-family: 'Times New Roman'; font-size: medium; line-height: normal; orphans: 2; text-align: -webkit-auto; widows: 2; background-color: window;">I'm reading the source code of soot. I find in the soot.jimple.toolkits.ide.icfg.AbstractJimpleBasedICFG, the method isBranceTarget(Unit u, Unit succ) should have</span></div><div style="font-family: 'Times New Roman'; line-height: normal; orphans: 2; text-align: -webkit-auto; widows: 2; font-size: medium;"> for(UnitBox ub: u.getUnitBoxes()){ ...</div><div style="font-family: 'Times New Roman'; line-height: normal; orphans: 2; text-align: -webkit-auto; widows: 2; font-size: medium;">instead of</div><div style="font-family: 'Times New Roman'; line-height: normal; orphans: 2; text-align: -webkit-auto; widows: 2; font-size: medium;"> for(UnitBox ub: succ.getUnitBoxes()){ ...</div><div style="font-family: 'Times New Roman'; line-height: normal; orphans: 2; text-align: -webkit-auto; widows: 2; font-size: medium;">according to the explanation on the usage of getUnitBoxes(), <a href="https://github.com/Sable/soot/wiki/Fundamental-Soot-objects,">https://github.com/Sable/soot/wiki/Fundamental-Soot-objects</a> . It seems like a bug, and please let me know if I have misunderstood the meaning of the code.</div><div style="font-family: 'Times New Roman'; line-height: normal; orphans: 2; text-align: -webkit-auto; widows: 2; font-size: medium;">Great thanks for your help!</div><div style="font-family: 'Times New Roman'; line-height: normal; orphans: 2; text-align: -webkit-auto; widows: 2; font-size: medium;"><br></div><div style="font-family: 'Times New Roman'; line-height: normal; orphans: 2; text-align: -webkit-auto; widows: 2; font-size: medium;">-Cong</div>
<div> </div>
<hr style="WIDTH: 210px; HEIGHT: 1px" align="left" color="#b5c4df" size="1">
<div><span>Sun Cong</span></div>
</body></html>