<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META content="text/html; charset=gb2312" http-equiv=Content-Type>
<META name=GENERATOR content="MSHTML 8.00.6001.18828">
<STYLE>@font-face {
font-family: 宋体;
}
@font-face {
font-family: Verdana;
}
@font-face {
font-family: @宋体;
}
@page Section1 {size: 595.3pt 841.9pt; margin: 72.0pt 90.0pt 72.0pt 90.0pt; layout-grid: 15.6pt; }
P.MsoNormal {
TEXT-JUSTIFY: inter-ideograph; TEXT-ALIGN: justify; MARGIN: 0cm 0cm 0pt; FONT-FAMILY: "Times New Roman"; FONT-SIZE: 10.5pt
}
LI.MsoNormal {
TEXT-JUSTIFY: inter-ideograph; TEXT-ALIGN: justify; MARGIN: 0cm 0cm 0pt; FONT-FAMILY: "Times New Roman"; FONT-SIZE: 10.5pt
}
DIV.MsoNormal {
TEXT-JUSTIFY: inter-ideograph; TEXT-ALIGN: justify; MARGIN: 0cm 0cm 0pt; FONT-FAMILY: "Times New Roman"; FONT-SIZE: 10.5pt
}
A:link {
COLOR: blue; TEXT-DECORATION: underline
}
SPAN.MsoHyperlink {
COLOR: blue; TEXT-DECORATION: underline
}
A:visited {
COLOR: purple; TEXT-DECORATION: underline
}
SPAN.MsoHyperlinkFollowed {
COLOR: purple; TEXT-DECORATION: underline
}
SPAN.EmailStyle17 {
FONT-STYLE: normal; FONT-FAMILY: Verdana; COLOR: windowtext; FONT-WEIGHT: normal; TEXT-DECORATION: none; mso-style-type: personal-compose
}
DIV.Section1 {
page: Section1
}
UNKNOWN {
FONT-SIZE: 10pt
}
BLOCKQUOTE {
MARGIN-TOP: 0px; MARGIN-BOTTOM: 0px; MARGIN-LEFT: 2em
}
OL {
MARGIN-TOP: 0px; MARGIN-BOTTOM: 0px
}
UL {
MARGIN-TOP: 0px; MARGIN-BOTTOM: 0px
}
</STYLE>
</HEAD>
<BODY style="MARGIN: 10px; FONT-FAMILY: verdana; FONT-SIZE: 10pt">
<DIV><FONT color=#000080 size=2 face=Verdana>
<DIV><FONT color=#000080 size=2 face=Verdana>Hi， John Criswell！</FONT></DIV>
<DIV><FONT color=#000080></FONT> </DIV>
<DIV style="TEXT-INDENT: 2em"><FONT color=#000080>You have said to me that
SAFECode had not been maintained for several years, </FONT></DIV>
<DIV><FONT color=#000080>now I have submitted my proposal for
updating the SAFCode project to the new LLVM APIs. </FONT></DIV>
<DIV><FONT color=#000080>If you are still </FONT><FONT
color=#000080>interested in the topic and willing to guid my project, I will be
very happy. </FONT></DIV>
<DIV><FONT color=#000080>Now I'm waiting for you comments.</FONT></DIV>
<DIV><FONT color=#000080></FONT> </DIV>
<DIV><FONT color=#000080>Here is my proposal:</FONT></DIV>
<DIV><FONT color=#000080><A
href="http://socghop.appspot.com/gsoc/student_proposal/show/google/gsoc2010/easyqiu/t127038894856">http://socghop.appspot.com/gsoc/student_proposal/show/google/gsoc2010/easyqiu/t127038894856</A></FONT></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-04-07 </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 Criswell </FONT></DIV>
<DIV><FONT size=2 face=Verdana><STRONG>发送时间：</STRONG> 2010-03-30 22:42:53
</FONT></DIV>
<DIV><FONT size=2 face=Verdana><STRONG>收件人：</STRONG> John Regehr </FONT></DIV>
<DIV><FONT size=2 face=Verdana><STRONG>抄送：</STRONG> 易秋萍; llvmdev@cs.uiuc.edu
</FONT></DIV>
<DIV><FONT size=2 face=Verdana><STRONG>主题：</STRONG> Re:
[LLVMdev]summer_of_code_idea_—_checking_bounds_overflow_bugs </FONT></DIV>
<DIV><FONT size=2 face=Verdana></FONT> </DIV>
<DIV><FONT size=2 face=Verdana>
<DIV>John Regehr wrote:</DIV>
<DIV>> Qiuping,</DIV>
<DIV>></DIV>
<DIV>> Have you looked at what has already been done? I would expect that taking </DIV>
<DIV>> previous work such as this:</DIV>
<DIV>></DIV>
<DIV>> http://llvm.org/pubs/2006-05-24-SAFECode-BoundsCheck.html</DIV>
<DIV>></DIV>
<DIV>> and integrating into current LLVM would be a better idea than starting </DIV>
<DIV>> over.</DIV>
<DIV>> </DIV>
<DIV></DIV>
<DIV>This code is publicly available from the SAFECode project (see </DIV>
<DIV>http://safecode.cs.illinois.edu to see how to get it). However, it has </DIV>
<DIV>not been maintained well over the years and is currently disabled. </DIV>
<DIV>Getting it to work again with LLVM 2.6 or replacing it with something </DIV>
<DIV>better would be nice.</DIV>
<DIV></DIV>
<DIV>I'm writing up a response to this project idea as I'm willing to mentor </DIV>
<DIV>it; I'll send it out shortly.</DIV>
<DIV></DIV>
<DIV>-- John T.</DIV>
<DIV></DIV>
<DIV>> John</DIV>
<DIV>></DIV>
<DIV>></DIV>
<DIV>> On Tue, 30 Mar 2010, ??? wrote:</DIV>
<DIV>></DIV>
<DIV>> </DIV>
<DIV>>> Hi,</DIV>
<DIV>>></DIV>
<DIV>>> Some days ago I am interested in detecting undefined behaviors</DIV>
<DIV>>></DIV>
<DIV>>> in C programs based on Clang. After several days? investigation, I think</DIV>
<DIV>>></DIV>
<DIV>>> checking bounds overflow bugs is more interesting, because bounds</DIV>
<DIV>>></DIV>
<DIV>>> overflow is one of the most frequently encountered errors in C programs.</DIV>
<DIV>>></DIV>
<DIV>>> For example, performing pointer arithmetic without checking bounds</DIV>
<DIV>>></DIV>
<DIV>>> can cause bounds overflow. To increase the accuracy of finding bugs,</DIV>
<DIV>>></DIV>
<DIV>>> I want to write several passes, based on slicing, inline and summary</DIV>
<DIV>>> function</DIV>
<DIV>>></DIV>
<DIV>>> / (partial) transition function, to implement intre-procedural analysis.</DIV>
<DIV>>></DIV>
<DIV>>> Does some person have interest in the project? I need a mentor,</DIV>
<DIV>>></DIV>
<DIV>>> and wait for your reply.</DIV>
<DIV>>></DIV>
<DIV>>> </DIV>
<DIV>>></DIV>
<DIV>>> Best Reagards!</DIV>
<DIV>>></DIV>
<DIV>>> </DIV>
<DIV>>></DIV>
<DIV>>> Qiuping Yi</DIV>
<DIV>>></DIV>
<DIV>>></DIV>
<DIV>>> </DIV>
<DIV>> ></DIV>
<DIV></DIV>
<DIV>_______________________________________________</DIV>
<DIV>LLVM Developers mailing list</DIV>
<DIV>LLVMdev@cs.uiuc.edu http://llvm.cs.uiuc.edu</DIV>
<DIV>http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</DIV></FONT></DIV></BODY></HTML>