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. |