[LLVMdev] SSI and ABCD for LLVM
haohui.mai at gmail.com
Fri Jun 5 07:26:02 PDT 2009
By static array bounds checking, I mean eliminating array bounds checking
which can be proved ``safe'' at compile-time.
Well, even though there are a lot of approaches of doing this, I believe
that having an implementation of ABCD would very useful. It would be even
more useful if LLVM can have a general framework for doing static array
bounds checking -- just like the aliasing framework.
From: llvmdev-bounces at cs.uiuc.edu [mailto:llvmdev-bounces at cs.uiuc.edu] On
Behalf Of Andre Tavares
Sent: Thursday, June 04, 2009 8:33 PM
To: LLVM Developers Mailing List
Subject: Re: [LLVMdev] SSI and ABCD for LLVM
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
LLVM Developers mailing list
LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu
More information about the llvm-dev