[LLVMdev] summer of code idea― update the SAFECode project to the new LLVM API

[yiqiuping1986]

Hi， John Criswell！

You have said to me that SAFECode had not been maintained for several years, 
now I have submitted my proposal for updating the SAFCode project to the new LLVM APIs. 
If you are still interested in the topic and willing to guid my project, I will be very happy. 
Now I'm waiting for 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 starting 
> over.
>   
This code is publicly available from the SAFECode project (see 
http://safecode.cs.illinois.edu to see how to get it).  However, it has 
not been maintained well over the years and is currently disabled.  
Getting it to work again with LLVM 2.6 or replacing it with something 
better would be nice.
I'm writing up a response to this project idea as I'm willing to mentor 
it; I'll send it out shortly.
-- John T.
> 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         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/20100407/2d1aca48/attachment.html>