[cfe-commits] [PATCH] Set region size in GRRegionVals transfer function
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