Svadev mailing list

[Thomas Sanchez <thomas.sanchz AT gmail.com>]

2011/8/18 John Criswell 
<criswell AT illinois.edu>:
> Dear Thomas,
>
> Just an update on this issue.  I successfully got the CompleteChecks pass to
> work on your test case, so the invalid load is detected and reported.
>

Awesome!

> The code may still have some issues, but if you want to try it out, you can
> do the following (assuming you are using Mac OS X):
>
> 1) Check out and build SAFECode from the SVN repository.
> 2) Make a backup copy of /usr/lib/libLTO.dylib.
> 3) Copy the libLTO.dylib from the SAFECode build directory (usually
> Debug+Asserts/lib/libLTO.dylib) into /usr/lib.
> 4) Recompile using the new clang compiler you built.
>

I'll do it ASAP, thank you !

> Be sure to read the Install Guide
> (http://sva.cs.illinois.edu/docs/Install.html) if you attempt to do this.
>

By the way, if you don't mind I'm interested by the explanation even
if I won't understand everything :)

-- 
Thomas Sanchez