The <a href="http://safecode.cs.uiuc.edu/">SAFECode project</a> is using LLVM
as a framework for <a href="pubs/2003-05-05-LCTES03-CodeSafety.html">providing
memory safety without runtime checks or garbage collection</a>.  To do this it
makes use of LLVM's link-time whole-program analysis capabilities.