[LLVMdev] SAFECode Source Code Released
eocallaghan at auroraux.org
Sat Nov 14 14:09:33 CST 2009
This is a truly fantastic project !
Great work !
I'll be interested to build and port this to AuroraUX.
Keep up the great work,
2009/11/14 John Criswell <criswell at uiuc.edu>:
> Török Edwin wrote:
>> On 2009-11-14 00:57, John Criswell wrote:
>>> Dear LLVMers,
>>> We are happy to announce an alpha release of the SAFECode compiler. It
>>> is now available for download from the LLVM public Subversion
>>> repository. SAFECode uses a set of analysis passes and program
>>> transformations to provide strong memory safety guarantees to C/C++
>>> programs. Specifically, the safety guarantees are:
>> Hi John,
>> This is great news!
>> I'm reporting to you some problem I've found below, please tell me if
>> I'm doing anything wrong.
>> The docs/Install.html however says this:
>> svn co http://llvm.org/svn/llvm-project/llvm/branches/release_16 llvm
>> That looks like a typo and you meant release_26?
> Indeed! Sorry for that error; I've corrected it in the documentation.
> Thanks for catching that!
> I'll take a look at the other issues you've mentioned later (I'm working
> on a course project this weekend. :( ).
> -- John T.
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu
eocallaghan at auroraux dot org
More information about the LLVMdev