[cfe-commits] [PATCH] Set region size in GRRegionVals transfer function

Zhongxing Xu 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...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20081107/39e51222/attachment.html>


More information about the cfe-commits mailing list