[LLVMdev] Summer of Code idea -- detecting undefined behavior
yiqiuping1986 at 126.com
Wed Mar 24 21:21:25 CDT 2010
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.
·¢¼þÈË£º John Regehr
·¢ËÍÊ±¼ä£º 2010-03-23 08:43:21
Ö÷Ìâ£º [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
LLVM Developers mailing list
LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the LLVMdev