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

[John Regehr]

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