On Fri, Nov 7, 2008 at 3:43 PM, Ted Kremenek <[EMAIL PROTECTED]> 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). >
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
