[cfe-commits] [PATCH] Set region size in GRRegionVals transfer function
xuzhongxing at gmail.com
Fri Nov 7 00:52:57 PST 2008
On Fri, Nov 7, 2008 at 3:43 PM, Ted Kremenek <kremenek at apple.com> wrote:
> On Nov 6, 2008, at 10:23 PM, Zhongxing Xu wrote:
> So I feel these are what we should do:
>> 1. overhaul the transfer function interface.
>> 2. add specific checker (e.g. array bound checker) that will use the
>> region extent property.
>> 3. implement the region extent interface.
> I think we should get RegionManager working first for all code that
> BasicStoreManager works on. This is something we've already started working
> on that would be really great to adopt as the default.
Right. This should be done before adding the extent interface.
> The region extent interface is something we can gradually add; with the
> default extent simply wrapping UnknownVal.
> I'm not certain if we need a specific checker for out-of-bounds access or
> just incorporate it as part of GRExprEngine. It seems like a basic (i.e.,
> core) check, and would add more path-sensitivity (e.g., if the access
> succeeds, we know the index was within the bounds of the array).
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the cfe-commits