Svadev mailing list

[John Criswell <criswell AT illinois.edu>]

Dear All,

For those of you using SAFECode on Linux, you may be interested in 
knowing that I've devised simpler directions for getting the SAFECode 
libLTO module installed and working.  These directions are now included 
in the install documentation on the web page and in the SAFECode 
distribution.

Using libLTO makes the SAFECode checks more stringent because, with 
whole program analysis, SAFECode can see which memory objects are used 
internally by the program and which memory objects can be created or 
modified by external, unanalyzed library code.  With this information, 
SAFECode can detect more errors that may occur in memory objects used 
internally by the program.  In the future, we're hoping to have some 
optimizations run by SAFECode's libLTO.

As always, if you encounter any problems or have any questions, please 
email the list or send me a message on IRC.

-- John T.