[LLVMdev] SSI and ABCD for LLVM
andrelct at dcc.ufmg.br
Thu Jun 4 18:33:23 PDT 2009
Mai, Haohui wrote:
> 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.
> 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!
>> 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
>>> 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
>>> Best Regards,
>> LLVM Developers mailing list
>> LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu
Sorry if my description was too short, but I will be removing
unnecessary array bound checks, not creating them.
Master Student in Computer Science - UFMG - Brasil
More information about the llvm-dev