Svadev mailing list

["Criswell, John T" <criswell AT ad.uiuc.edu>]

Dear Santosh,

Good to hear from you.

There are not any special configure options to getting SAFECode to work on 
64-bit platforms.  The problems on 64-bit systems are due to bugs in SAFECode 
(primarily pointer to integer casts) that assume that pointers are 32 bits 
wide.  I believe all of these are in the runtime libraries, and most can be 
fixed by replacing "unsigned" with "uintptr_t."  There may also be issues 
with allocating objects that are larger than 4 GB in size (although I doubt 
this will be a problem in using SAFECode initially on 64-bit systems).  
SAFECode should "just work" after these issues are fixed.

If you're up to it, you can try to compile SAFECode on a 64-bit system, fix 
any compilation problems you find, and submit patches to the mailing list.  
Otherwise, please file a bug report so that it gets added to our TODO list.

If you need SAFECode working on 64-bit systems for a project, please let me 
know.  It helps us to prioritize all the things we need to fix/improve with 
the code.

-- John T.

________________________________________
From: 
svadev-bounces AT cs.uiuc.edu
 
[svadev-bounces AT cs.uiuc.edu]
 On Behalf Of Santosh Nagarakatte 
[santosh.nagarakatte AT gmail.com]
Sent: Thursday, December 03, 2009 11:52 AM
To: 
svadev AT cs.uiuc.edu
Subject: [svadev] Instructions for 64bit SafeCode

SafeCode dev,

Is there a way to install a 64bit version of safecode? If yes, can you 
provide me pointers to do the same?

Thanks,
Santosh

--
Santosh G Nagarakatte,
PhD Student,
Computer and Information Science Department
University of Pennsylvania,
Philadelphia-19104
http://www.cis.upenn.edu/~santoshn