<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=gb2312">
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Hi all,</div>
<div style=""><span style="color: rgb(0, 0, 0); font-family: Calibri, Helvetica, sans-serif; font-size: 12pt;"></span>When I implement a checker that handle "strcat()", I need to iterate all the bindings to get the offset for null character. However "iterBindings()"
doesn't consider the region's offset. </div>
<div style=""><br>
</div>
<div style="">I don't know if this can be called a question, but I just want to know why "BindingsHandler::HandleBinding" only takes region as a argument and ignores the region's offset, is there no such demand, or is there any other reason?<font color="#000000" face="Calibri, Helvetica, sans-serif"><span style="font-size: 12pt;"></span></font><br>
</div>
<div style=""><br>
</div>
<div style="">-----------------------------------------------------------</div>
<div style="">
<div> void iterBindings(Store store, BindingsHandler& f) override {</div>
<div> RegionBindingsRef B = getRegionBindings(store);</div>
<div> for (RegionBindingsRef::iterator I = B.begin(), E = B.end(); I != E; ++I) {</div>
<div> const ClusterBindings &Cluster = I.getData();</div>
<div> for (ClusterBindings::iterator CI = Cluster.begin(), CE = Cluster.end();</div>
<div> CI != CE; ++CI) {</div>
<div> const BindingKey &K = CI.getKey();</div>
<div> if (!K.isDirect())</div>
<div> continue;</div>
<div> if (const SubRegion *R = dyn_cast<SubRegion>(K.getRegion())) {</div>
<div> // FIXME: Possibly incorporate the offset?</div>
<div> if (!f.HandleBinding(*this, store, R, CI.getData()))</div>
<div> return;</div>
<div> }</div>
<div> }</div>
<div> }</div>
<div> }</div>
</div>
<div style="">-----------------------------------------------------------</div>
<div style=""><br>
</div>
<div style="">Thanks,</div>
<div style="">Henry Wong</div>
<div style="">Qihoo 360 CodeSafe Team</div>
</body>
</html>