search for: t127038894856

Hi, I am sorry that just now I give the wrong URL which is a private mood. The next URLs are right: Update the SAFCode project to the new LLVM API http://socghop.appspot.com/gsoc/student_proposal/show/google/gsoc2010/easyqiu/t127038894856 Check bounds overflow bugs in C programs based on LLVM http://socghop.appspot.com/gsoc/student_proposal/show/google/gsoc2010/easyqiu/t126993884556 ABCD: Eliminating Array Bounds Checks on Demand http://socghop.appspot.com/gsoc/student_proposal/show/google/gsoc2010/easyqiu/t127047140930 Best Re...

...proposal for updating the SAFCode project to the new LLVM APIs. If you are still interested in the topic and willing to guid my project, I will be very happy. Now I'm waiting for you comments. Here is my proposal: http://socghop.appspot.com/gsoc/student_proposal/show/google/gsoc2010/easyqiu/t127038894856 2010-04-07 yiqiuping1986 发件人： John Criswell 发送时间： 2010-03-30 22:42:53 收件人： John Regehr 抄送： 易秋萍; llvmdev at cs.uiuc.edu 主题： Re: [LLVMdev]summer_of_code_idea_―_checking_bounds_overflow_bugs John Regehr wrote: > Qiuping, > > Have you looked at what has already been done? I...

John Regehr wrote: > Qiuping, > > Have you looked at what has already been done? I would expect that taking > previous work such as this: > > http://llvm.org/pubs/2006-05-24-SAFECode-BoundsCheck.html > > and integrating into current LLVM would be a better idea than starting > over. > This code is publicly available from the SAFECode project (see

Hi, Here are my submitted proposals, and they are still in progress. Wellcome your comments, if you have some interest in the topics. Update the SAFCode project to the new LLVM API http://socghop.appspot.com/gsoc/student_proposal/private/google/gsoc2010/easyqiu/t127038894856 Check bounds overflow bugs in C programs based on LLVM http://socghop.appspot.com/gsoc/student_proposal/private/google/gsoc2010/easyqiu/t126993884556 ABCD: Eliminating Array Bounds Checks on Demand http://socghop.appspot.com/gsoc/student_proposal/private/google/gsoc2010/easyqiu/t127047140930...

Hi, John I have modified my proposal based on your suggestion. Wellcom your comments! The URL of my proposal is: http://socghop.appspot.com/gsoc/student_proposal/private/google/gsoc2010/easyqiu/t127038894856 Best Regards! Qiuping 2010-04-08 yiqiuping1986 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20100408/b6065f64/attachment.html>

Hi, I commit my proposal titled �Maintain the Array Bound checking pass of the SAFECode Project�. Wellcome your comments, if you are interested in the topic. My proposal URL is http://socghop.appspot.com/gsoc/student_proposal/show/google/gsoc2010/easyqiu/t127038894856 2010-04-08 yiqiuping1986 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20100408/9970ad35/attachment.html>

...SAFCode project to > the new LLVM APIs. > If you are still interested in the topic and willing to guid my > project, I will be very happy. > Now I'm waiting for you comments. > Here is my proposal: > http://socghop.appspot.com/gsoc/student_proposal/show/google/gsoc2010/easyqiu/t127038894856 Looking back at my previous email, I see that I was unclear. SAFECode, as a whole, is up-to-date with LLVM. However, it is missing its static array bounds checking pass (because that specific pass has not been maintained). What I was suggesting is that, as a GSoC project, you could update the stat...