[LLVMdev] SAFECode Source Code Released
criswell at uiuc.edu
Sat Nov 14 08:38:05 CST 2009
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.
More information about the LLVMdev