search for: t126993884556

...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 Regards! Qiuping 2010-04-06 yiqiuping1986 发件人： yiqiuping1986 发送时间： 2010-04-06 08:15:35 收件人： llvmdev 抄送： 主题： [LLVMdev] Summer Code of ide...

...est 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 2010-04-06 yiqiuping1986 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llv...

...update the static array bounds checking code from the SAFECode project. With that in mind, here is what I think you should do: 1) Update your "Check bounds overflow bugs in C programs based on LLVM" proposal (http://socghop.appspot.com/gsoc/student_proposal/show/google/gsoc2010/easyqiu/t126993884556). In it, state that a) you are specifically interested in implementing *static* array bounds checking b) there is old code in the SAFECode project which you may reuse to build your static array bounds checking pass c) you will investigate whether any of the static array bounds checking code in SAFE...

Hi， John Criswell！ You have said to me that SAFECode had not been maintained for several years, now I have submitted my 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:

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