<div>John,</div>
<div> </div>
<div>Many thanks for your prompt reply! </div>
<div>You think it a better idea than a new implementation of bounds overflow checking, that integrating previous work such as this:<br>    <a href="http://llvm.org/pubs/2006-05-24-SAFECode-BoundsCheck.html" target="_blank">http://llvm.org/pubs/2006-05-24-SAFECode-BoundsCheck.html</a><br>
into current LLVM.</div>
<div>Yes?<br></div>
<div class="gmail_quote">在 2010年3月31日 下午12:11，John Regehr <span dir="ltr"><<a href="mailto:regehr@cs.utah.edu">regehr@cs.utah.edu</a>></span>写道：<br>
<blockquote style="BORDER-LEFT: #ccc 1px solid; MARGIN: 0px 0px 0px 0.8ex; PADDING-LEFT: 1ex" class="gmail_quote">Hi Qiuping,<br><br>I don't know much about SAFECode, you should look at the code and talk<br>to John Criswell.   I doubt that you can do a new implementation of<br>
memory safety in just one summer.  It's a big job.  But maybe if you<br>start with the existing code you can do a really nice project.<br><br>John<br>
<div>
<div></div>
<div class="h5"><br>易秋萍 wrote:<br>> John,<br>><br>><br>><br>> Do you mean to migrate the boundscheck pass of SAFECode to LLVM?<br>><br>> I have little knowledge of SAFECode, does SAFCode have lots of passes<br>
><br>> like LLVM to process requests?<br>><br>>    One of the attachment is my proposal about checking bounds overflow<br>><br>> bugs for 2010 GSoC project, perhaps I haven’t seriously thought over it.<br>
><br>>    My idea come from a master thesis, and I send it to you as an attachment.<br>><br>><br>><br>> 2010-03-31<br>> ------------------------------------------------------------------------<br>> yiqiuping1986<br>
> ------------------------------------------------------------------------<br>> *发件人：* John Regehr<br>> *发送时间：* 2010-03-30  22:37:49<br>> *收件人：* $B0W=)hL (J<br>> *抄送：* llvmdev<br>> *主题：* Re: [LLVMdev]summer_of_code_idea_—_checking_bounds_overflow_bugs<br>
> Qiuping,<br>> Have you looked at what has already been done?  I would expect that taking<br>> previous work such as this:<br>>    <a href="http://llvm.org/pubs/2006-05-24-SAFECode-BoundsCheck.html" target="_blank">http://llvm.org/pubs/2006-05-24-SAFECode-BoundsCheck.html</a><br>
> and integrating into current LLVM would be a better idea than starting<br>> over.<br>> John<br>> On Tue, 30 Mar 2010, ??? wrote:<br>>><br>>> Hi,<br>>><br>>> Some days ago I am interested in detecting undefined behaviors<br>
>><br>>> in C programs based on Clang. After several days? investigation, I think<br>>><br>>> checking bounds overflow bugs is more interesting, because bounds<br>>><br>>> overflow is one of the most frequently encountered errors in C programs.<br>
>><br>>> For example, performing pointer arithmetic without checking bounds<br>>><br>>> can cause bounds overflow. To increase the accuracy of finding bugs,<br>>><br>>> I want to write several passes, based on slicing, inline and summary<br>
>> function<br>>><br>>> / (partial) transition function, to implement intre-procedural analysis.<br>>><br>>> Does some person have interest in the project? I need a mentor,<br>>><br>>> and wait for your reply.<br>
>><br>>><br>>><br>>> Best Reagards!<br>>><br>>><br>>><br>>> Qiuping Yi<br>>><br>>><br>>><br>> _______________________________________________<br>> LLVM Developers mailing list<br>
> <a href="mailto:LLVMdev@cs.uiuc.edu">LLVMdev@cs.uiuc.edu</a><br></div></div>> <mailto:<a href="mailto:LLVMdev@cs.uiuc.edu">LLVMdev@cs.uiuc.edu</a>>         <a href="http://llvm.cs.uiuc.edu/" target="_blank">http://llvm.cs.uiuc.edu</a><br>

<div>
<div></div>
<div class="h5">> <a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a><br></div></div></blockquote></div><br>