search for: safcode

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...

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: http://socghop.appspot.com/gsoc/student_proposal/show/google/gsoc2010/easyqiu/t127038894856 2010-04-07 yiq...

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

...maybe if you > start with the existing code you can do a really nice project. > > John > > 易秋萍 wrote: > > John, > > > > > > > > Do you mean to migrate the boundscheck pass of SAFECode to LLVM? > > > > I have little knowledge of SAFECode, does SAFCode have lots of passes > > > > like LLVM to process requests? > > > > One of the attachment is my proposal about checking bounds overflow > > > > bugs for 2010 GSoC project, perhaps I haven’t seriously thought over it. > > > > My idea come from a m...

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 Arra...

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://blog.csdn.net/yiqiuping/archive/2010/04/06/5453367.aspx Check bounds overflow bugs in C programs based on LLVM http://blog.csdn.net/yiqiuping/archive/2010/04/06/5453368.aspx ABCD: Eliminating Array Bounds Checks on Demand http://blog.csdn.net/yiqiuping/archiv...

...ounds checking pass in SAFECode has not been maintained and needs to 1) be updated to work with LLVM 2.6/2.7; 2) have its bugs fixed; and 3) improved so that it has better performance (i.e., no repeated fork()/exec() for constraint solving). > 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: > http://socghop.appspot.com/gsoc/student_proposal/show/google/gsoc2010/easyqiu/t127038...