Svadev mailing list

[geremy condra <debatem1 AT gmail.com>]

On Tue, Oct 4, 2011 at 10:40 PM, Vikram Adve 
<vadve AT illinois.edu>
 wrote:
> Geremy,
>
> Just curious ... are you using SAFECode on some kind of open source 
> program?  Or some personal code?  And how large is the code base?  Thanks 
> for any details,

I've just been experimenting with it, I'm mostly interested in seeing
what currently exists in the CFI and DFI space. Depending on how
things go there are a few directions that may be interesting, but
right now that seems pretty far off.

On another note, sorry not to have sent the errors for you yesterday,
had a hardware failure. They occur during the make for safecode and
follow this message.

Thanks for your help, all!
Geremy Condra


cc1plus: warnings being treated as errors
FormatStrings.cpp: In function ‘void pool_err(void*, int, void*, ...)’:
FormatStrings.cpp:609: error: format not a string literal and no
format arguments
FormatStrings.cpp: In function ‘void pool_errx(void*, int, void*, ...)’:
FormatStrings.cpp:649: error: format not a string literal and no
format arguments
FormatStrings.cpp: In function ‘void pool_warn(void*, void*, ...)’:
FormatStrings.cpp:692: error: format not a string literal and no
format arguments
FormatStrings.cpp: In function ‘void pool_warnx(void*, void*, ...)’:
FormatStrings.cpp:738: error: format not a string literal and no
format arguments
FormatStrings.cpp: In function ‘void pool_syslog(void*, int, void*, ...)’:
FormatStrings.cpp:776: error: format not a string literal and no
format arguments
make[2]: *** 
[/home/user/llvm27/projects/safecode/runtime/DebugRuntime/Release/FormatStrings.o]
Error 1