<div class="gmail_quote">
<div style="MARGIN: 10px; FONT-FAMILY: verdana; FONT-SIZE: 10pt"><font color="#000000" size="2" face="Verdana">
<div> </div>
<div><font size="2" face="Verdana">
<div><font color="#000080" size="2" face="Verdana">
<div><font size="2" face="Verdana">Hi, dear LLVMers</font></div>
<div> </div>
<div style="TEXT-INDENT: 2em">I am Qiuping Yi. I am interested in John's SoC project idea, developing </div>
<div>Clang's support for detecting undefined behaviors in C/C++, and hope John</div>
<div> to be my mentor. </div>
<div style="TEXT-INDENT: 2em"> </div>
<div style="TEXT-INDENT: 2em">I wish to implement detecting some undefined behaivors ranging from </div>
<div>easy (such as detecting divide by zero) to rather troublesome ones </div>
<div>(such as detecting references to out-of-scope automatic variables). </div>
<div style="TEXT-INDENT: 2em"> </div>
<div style="TEXT-INDENT: 2em">I know well about C/C++,  and I major in program analysis and verification. </div>
<div>Now I am a grade-two master student of Institute of Software Chinese </div>
<div>Academy of Sciences, Beijing, China. I always pay close attention to many </div>
<div>compiler optimization technologies. Now I also attend another project </div>
<div>based on LLVM, in which I need to implement detecting whether the subscript</div>
<div> is out of the bounds of arrays.</div>
<div style="TEXT-INDENT: 2em"> </div>
<div style="TEXT-INDENT: 2em">I hope I can have a chance to make some contribution to LLVM and Clang.</div>
<div style="TEXT-INDENT: 2em"> </div>
<div>Qiuping Yi</div></font></div>
<div><font color="#000080" size="2" face="Verdana"></font> </div>
<div><font color="#000080" size="2" face="Verdana"></font> </div>
<div><font color="#c0c0c0" size="2" face="Verdana">2010-03-25 </font></div><font color="#000080" size="2" face="Verdana">
<hr style="WIDTH: 100px" align="left" color="#b5c4df" size="1">
</font>
<div><font color="#c0c0c0" size="2" face="Verdana"><span>yiqiuping1986</span> </font></div>
<hr color="#b5c4df" size="1">

<div><font size="2" face="Verdana"><strong>发件人：</strong> John Regehr </font></div>
<div><font size="2" face="Verdana"><strong>发送时间：</strong> 2010-03-23  08:43:21 </font></div>
<div><font size="2" face="Verdana"><strong>收件人：</strong> llvmdev </font></div>
<div><font size="2" face="Verdana"><strong>抄送：</strong> </font></div>
<div><font size="2" face="Verdana"><strong>主题：</strong> [LLVMdev] Summer of Code idea -- detecting undefined behavior </font></div>
<div><font size="2" face="Verdana"></font></div>
<div><font size="2" face="Verdana">
<div>Is anyone interested in a SoC project to further develop Clang's support </div>
<div>for detecting undefined behaviors in C/C++?</div>
<div></div>
<div>This is actually a collection of many smaller projects ranging from very </div>
<div>easy (detecting divide by zero) to rather nasty (detecting references to </div>
<div>out-of-scope automatic variables).</div>
<div></div>
<div>If someone does this, I'm happy to help mentor, provide test cases, etc.</div>
<div></div>
<div>If done well, this would be a relatively high-impact project.  It would </div>
<div>catch more errors than valgrind, be faster, and provide much better error </div>
<div>messages.</div>
<div></div>
<div>John Regehr</div>
<div>_______________________________________________</div>
<div>LLVM Developers mailing list</div>
<div><a href="mailto:LLVMdev@cs.uiuc.edu" target="_blank">LLVMdev@cs.uiuc.edu</a>         <a href="http://llvm.cs.uiuc.edu/" target="_blank">http://llvm.cs.uiuc.edu</a></div>
<div><a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a></div></font></div></font></div></font></div></div><br>