svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

Re: [svadev] Question on pointer_info_value(c, p)

From: Matthew Wala <wala1 AT illinois.edu>
To: John Criswell <criswell AT illinois.edu>
Cc: "svadev AT cs.uiuc.edu" <svadev AT cs.uiuc.edu>
Subject: Re: [svadev] Question on pointer_info_value(c, p)
Date: Tue, 1 Nov 2011 12:22:33 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
List-id: <svadev.cs.uiuc.edu>

On Tue, Nov 1, 2011 at 10:22 AM, John Criswell
<criswell AT illinois.edu>
wrote:
> Dear Matt et. al.,
>
> In the format string checking functions, what does pointer_info_value(c, p)
> return (for example, in out_of_bounds_error())? Is it the pointer to the
> memory buffer for which an overflow occurred, or is it the actual invalid
> pointer that failed the check?
>
> I ask because I'd like to look up the debug information in the dummyPool so
> that I can find out where the memory buffer in question was allocated.
>
> Thanks in advance,
>
> -- John T.
>
>

It returns the pointer to the memory buffer.

Matt

[svadev] Question on pointer_info_value(c, p), John Criswell, 11/01/2011
- Re: [svadev] Question on pointer_info_value(c, p), Matthew Wala, 11/01/2011