[LLVMdev] summer_of_code_idea_—_checking_bounds_overflow_bugs

[易秋萍]

John,

Many thanks for your prompt reply!
You think it a better idea than a new implementation of bounds overflow
checking, that integrating previous work such as this:
    http://llvm.org/pubs/2006-05-24-SAFECode-BoundsCheck.html
into current LLVM.
Yes?
在 2010年3月31日 下午12:11，John Regehr <regehr at cs.utah.edu>写道：

> Hi Qiuping,
>
> I don't know much about SAFECode, you should look at the code and talk
> to John Criswell.   I doubt that you can do a new implementation of
> memory safety in just one summer.  It's a big job.  But 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 master thesis, and I send it to you as an
> attachment.
> >
> >
> >
> > 2010-03-31
> > ------------------------------------------------------------------------
> > 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
> > over.
> > John
> > On Tue, 30 Mar 2010, ??? wrote:
> >>
> >> Hi,
> >>
> >> Some days ago I am interested in detecting undefined behaviors
> >>
> >> in C programs based on Clang. After several days? investigation, I think
> >>
> >> checking bounds overflow bugs is more interesting, because bounds
> >>
> >> overflow is one of the most frequently encountered errors in C programs.
> >>
> >> For example, performing pointer arithmetic without checking bounds
> >>
> >> can cause bounds overflow. To increase the accuracy of finding bugs,
> >>
> >> I want to write several passes, based on slicing, inline and summary
> >> function
> >>
> >> / (partial) transition function, to implement intre-procedural analysis.
> >>
> >> Does some person have interest in the project? I need a mentor,
> >>
> >> and wait for your reply.
> >>
> >>
> >>
> >> Best Reagards!
> >>
> >>
> >>
> >> Qiuping Yi
> >>
> >>
> >>
> > _______________________________________________
> > LLVM Developers mailing list
> > LLVMdev at cs.uiuc.edu
> > <mailto:LLVMdev at cs.uiuc.edu>         http://llvm.cs.uiuc.edu
>  > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20100331/851c135c/attachment.html>