svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

[svadev] more safecode questions

From: Matthew Wala <wala1 AT illinois.edu>
To: svadev AT cs.uiuc.edu
Subject: [svadev] more safecode questions
Date: Tue, 19 Apr 2011 14:35:20 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
List-id: <svadev.cs.uiuc.edu>

Hi everyone:
1) What is the "tag" argument in debug versions of functions used for?
2) In what situations does pool allocation insert a null pool handle
for a pointer? When can I expect pool handles to be non-null at
runtime?

Matt

[svadev] more safecode questions, Matthew Wala, 04/19/2011
- Re: [svadev] more safecode questions, John Criswell, 04/19/2011