[cfe-dev] Summer of Code idea -- detecting undefined behavior (fwd)

[Marshall Clow]

On Mar 22, 2010, at 5:47 PM, John Regehr wrote:

> Oops-- just sent the message below to the main LLVM list, it probably 
> would have been better sent to this list in the first place.
> 
> --------------------
> 
> 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.

I would be interested in helping with this project.
I have a couple ideas along these lines as well.
However, this would be a (very) part-time thing for me; since am not a student, and have to work full-time.

-- Marshall