[LLVMdev] SAFECode Source Code Released

Edward O'Callaghan eocallaghan at auroraux.org
Sat Nov 14 12:09:33 PST 2009


WOW !

This is a truly fantastic project !

Great work !
I'll be interested to build and port this to AuroraUX.

Keep up the great work,

Cheer,
Edward. :D

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
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>



-- 
-- 
Edward O'Callaghan
http://www.auroraux.org/
eocallaghan at auroraux dot org




More information about the llvm-dev mailing list