Svadev mailing list

[Martin Richtarsky <ps1 AT martinien.de>]

On 15.09.2012 21:50, John Criswell wrote:
> On 9/15/12 2:07 PM, Martin Richtarsky wrote:
> > Hi,
> >
> > is it posible to use SAFECode with LLVM 3.1 or even trunk?
>
> We're currently in the process of updating SAFECode to LLVM mainline 
> (i.e., trunk).  We're hoping to have something basic working by early 
> next week.  After the update is done, we'll be tracking mainline until 
> LLVM 3.2 is released.

Hi John,

that sounds great. Is it planned to make SAFECode a part of future LLVM 
releases (after 3.2)?

Does SAFECode currently implement all of the techniques mentioned here?
http://safecode.cs.illinois.edu/

What is the extent of the bounds checking? Are objects tracked with 
their corresponding memory accesses? From the papers on the site it 
sounds like it (and this would beat the generic redzone-type tracking 
done by valgrind or Address Sanitizer ).

Best regards,
Martin