<div>SAFECode sounds very interesting. How can we get our hands on it?</div>

<div> </div>

<div><br><br> </div>

<div><span class="gmail_quote">On 3/12/07, <b class="gmail_sendername">Vikram S. Adve</b> <<a href="mailto:vadve@uiuc.edu">vadve@uiuc.edu</a>> wrote:</span>

<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid"><br><br>On Mar 12, 2007, at 10:34 AM, Fabian Scheler wrote:<br><br>> After playing around a bit with LLVM, I

<br>> decided to use LLVM, because of its great documentation, its clean and<br>> straight-forward design and it because it seems to be easily<br>> applicable also for beginners.<br><br><br>A gratuitous plug for a recent research project: If you use LLVM, you

<br>can also get a compiler called SAFECode  that (a) enforces memory<br>safety with very low overhead, and (b) defines a subset of C for<br>which you get memory safety with *no* run-time checks.  The latter<br>work was specifically aimed at embedded systems.  In fact, we called

<br>the language subset "Control C" :^).<br><br>If you're interested, here are a couple of papers on these issues:<br><br>(1) "Memory Safety Without Garbage Collection for Embedded Applications"<br>

Dinakar Dhurjati, Sumant Kowshik, Vikram Adve and Chris Lattner<br>ACM Transactions in Embedded Computing Systems (TECS), February 2005.<br><a href="http://llvm.org/pubs/2005-02-TECS-SAFECode.html">http://llvm.org/pubs/2005-02-TECS-SAFECode.html

</a> (2) "Enforcing Alias Analysis for Weakly Typed Languages" Dinakar Dhurjati, Sumant Kowshik, and Vikram Adve Technical Report #UIUCDCS-R-2005-2657, Computer Science Dept., Univ. of Illinois, Nov. 2005.

<br><a href="http://llvm.org/pubs/2005-11-SAFECodeTR.html">http://llvm.org/pubs/2005-11-SAFECodeTR.html</a><br><br>SAFECode is a research prototype and so not yet robust, but we aim to<br>make it robust and distribute it publicly.  You can get the current

<br>version with that caveat.<br><br>--Vikram<br><a href="http://www.cs.uiuc.edu/~vadve">http://www.cs.uiuc.edu/~vadve</a><br><a href="http://llvm.cs.uiuc.edu/">http://llvm.cs.uiuc.edu/</a><br><br><br>_______________________________________________

<br>LLVM Developers mailing list<br><a href="mailto:LLVMdev@cs.uiuc.edu">LLVMdev@cs.uiuc.edu</a>         <a href="http://llvm.cs.uiuc.edu">http://llvm.cs.uiuc.edu</a><br><a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev">

http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a><br></blockquote></div><br>