[LLVMdev] Summer of Code idea -- detecting undefined behavior

[yiqiuping1986]

Hi, dear LLVMers

I am Qiuping Yi. I am interested in John's SoC project idea, developing 
Clang's support for detecting undefined behaviors in C/C++, and hope John
 to be my mentor. 

I wish to implement detecting some undefined behaivors ranging from 
easy (such as detecting divide by zero) to rather troublesome ones 
(such as detecting references to out-of-scope automatic variables). 

I know well about C/C++,  and I major in program analysis and verification. 
Now I am a grade-two master student of Institute of Software Chinese 
Academy of Sciences, Beijing, China. I always pay close attention to many 
compiler optimization technologies. Now I also attend another project 
based on LLVM, in which I need to implement detecting whether the subscript
 is out of the bounds of arrays.

I hope I can have a chance to make some contribution to LLVM and Clang.

Qiuping Yi


2010-03-25 



yiqiuping1986 



发件人： John Regehr 
发送时间： 2010-03-23  08:43:21 
收件人： llvmdev 
抄送： 
主题： [LLVMdev] Summer of Code idea -- detecting undefined behavior 
 
Is anyone interested in a SoC project to further develop Clang's support 
for detecting undefined behaviors in C/C++?
This is actually a collection of many smaller projects ranging from very 
easy (detecting divide by zero) to rather nasty (detecting references to 
out-of-scope automatic variables).
If someone does this, I'm happy to help mentor, provide test cases, etc.
If done well, this would be a relatively high-impact project.  It would 
catch more errors than valgrind, be faster, and provide much better error 
messages.
John Regehr
_______________________________________________
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/20100325/55191d31/attachment.html>