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

Ted Kremenek kremenek at apple.com
Thu Nov 6 23:43:49 PST 2008

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.

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).

More information about the cfe-commits mailing list