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, -- Andre Tavares Master Student in Computer Science - UFMG - Brasil http://dcc.ufmg.br/~andrelct
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, > >
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