svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

[svadev] Question on pointer_info_value(c, p)

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

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.

[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