[cfe-dev] Summer of Code idea -- detecting undefined behavior (fwd)
John Regehr
regehr at cs.utah.edu
Mon Mar 22 17:47:13 PDT 2010
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.
John Regehr
More information about the cfe-dev
mailing list