Displaying 4 results from an estimated 4 matches for "_checking_bounds_overflow_bugs".
2010 Mar 31
0
[LLVMdev] summer_of_code_idea_—_checking_bounds_overflow_bugs
...---------------------
> > yiqiuping1986
> > ------------------------------------------------------------------------
> > *发件人：* John Regehr
> > *发送时间：* 2010-03-30 22:37:49
> > *收件人：* $B0W=)hL (J
> > *抄送：* llvmdev
> > *主题：* Re: [LLVMdev]summer_of_code_idea_―_checking_bounds_overflow_bugs
> > 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...
2010 Apr 07
1
[LLVMdev] summer of code idea— update the SAFECode project to the new LLVM API
...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 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 s...
2010 Mar 30
2
[LLVMdev] summer of code idea — checking bounds overflow bugs
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
2010 Apr 07
0
[LLVMdev] summer of code idea— update the SAFECode project to the new LLVM API
...-----------------------------------
> 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 would expect that
> taking
> > previous work such as this:
> >
> > http://llvm.org/pubs/2006-05-24-SAFECode-BoundsCheck.html
> >
> > and integrating into...