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

[易秋萍]

 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/e1142cee/attachment.html>