svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

Re: [svadev] more safecode questions

From: John Criswell <criswell AT illinois.edu>
To: Matthew Wala <wala1 AT illinois.edu>
Cc: svadev AT cs.uiuc.edu
Subject: Re: [svadev] more safecode questions
Date: Tue, 19 Apr 2011 14:37:42 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
List-id: <svadev.cs.uiuc.edu>
Organization: University of Illinois

On 4/19/11 2:35 PM, Matthew Wala wrote:

Hi everyone:
1) What is the "tag" argument in debug versions of functions used for?

It is a unique identifier added to every run-time check. I allows one to match a run-time failure to an exact failed run-time check in the LLVM bitcode.

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?

For SAFECode, I don't think it should ever insert a NULL pool-handle except for a few really odd cases (e.g., argv arguments). For now, just make NULL pool handles check the ExternalPool.

-- John T.

Matt
_______________________________________________
svadev mailing list
svadev AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/svadev

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