[cfe-commits] [PATCH] Set region size in GRRegionVals transfer function
xuzhongxing at gmail.com
Thu Nov 6 22:01:03 PST 2008
On Fri, Nov 7, 2008 at 1:54 PM, Ted Kremenek <kremenek at apple.com> wrote:
> On Nov 6, 2008, at 9:45 PM, Zhongxing Xu wrote:
> I actually don't think a hybrid approach is not all that difficult to
>> Do you mean " ... don't think ... is all that difficult ...", since two
>> negation imply no negation.
>> A switch statement on the kind of a region should be enough to determine
>> when we can determine the extent of a region simply from the MemRegion
>> object itself or we need to look in a side map.
>> I like (b1), too. Then we have a clear direction to go now. Thanks!
Also I think we should have a clear client for the extent before/when we
implement the extent mechanism. One direct client is the array element
access checker. It should be in the EvalLocation() method to check if the
array access is out of bound. But not all store manager support this check.
Shall we make a new transfer function to do this check?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the cfe-commits