<div dir="ltr">Is this by design? The buffer size in the attached result is 32, and thus every access beyond that is invalid. Yet, ArrayBound keeps iterating until it reaches <font face="monospace, monospace">analyzer-max-loop</font>. Is this by design, or is this a bug? I realize that ArrayBound is the "old" version of the array bounds checker. <div><br></div><div><br><div><div><div class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><span style="font-size:12.8px">Sincerely,</span><br style="font-size:12.8px"><span style="font-size:12.8px">Alexander Riccio</span><br style="font-size:12.8px"><span style="font-size:12.8px">--</span><br style="font-size:12.8px"><span style="font-size:12.8px">"Change the world or go home."</span><div style="font-size:12.8px"><a href="http://about.me/ariccio" target="_blank">about.me/ariccio</a></div><div style="font-size:12.8px"><a href="http://about.me/ariccio" target="_blank"><br></a></div><div style="font-size:12.8px">If left to my own devices, I will build more.</div><div style="font-size:12.8px">⁂</div></div></div></div></div></div>
</div></div></div>