[LLVMdev] SSI and ABCD for LLVM

[Mai, Haohui]

Dear Nicolas,

I'm curious why you are using ABCD in vmkit. Do you need any features
from static array bounds checking? As far as I know, SAFECode has a
number of implementation for that.

Thanks.

Haohui 

On Thu, 2009-06-04 at 20:48 +0200, Nicolas Geoffray wrote:
> Dear Andre,
> 
> That's great! Thanks for the blog. I am really looking forward into 
> using ABCD in vmkit!
> 
> Cheers,
> Nicolas
> 
> Andre Tavares wrote:
> > Dear Community,
> >
> > I'm working on a project for Google Summer of Code, to implement the 
> > ABCD and Bitwidth analysis in LLVM. I'm not going to extend the 
> > description of the project here, this link shows my proposal 
> > http://homepages.dcc.ufmg.br/~andrelct/projects/gsoc_2009/proposal.
> >
> > I have been in some discussions on this list about Ada and SSI that 
> > helped on my decisions up to this moment.
> >
> > This project is due to August, and during this period I will be posting 
> > my progress in a blog. If someone has interest in following my progress 
> > I welcome you to read the blog, and I would really appreciate any 
> > suggestion, critics and opinions on any aspect. I understand that every 
> > opinion is helpful. So the blog link is 
> > http://gsoc2009-andrelct.blogspot.com/.
> >
> > Best Regards,
> >
> >   
> 
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev