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

[Chris Lattner]

On Mar 23, 2010, at 8:39 AM, John Regehr wrote:

> I'll start a wiki page about this...
> 
> I can't find a clang-specific wiki anywhere.  So I assume a page under "proposed projects" at the LLVM wiki would be the most appropriate location?

If you want commit access, please send me the info requested in the llvm developer policy, then you can commit directly to the open projects page.  I also agree that this would be a great SoC project,

-Chris

> 
> John
> 
> 
> On Mon, 22 Mar 2010, Daniel Dunbar wrote:
> 
>> I second this as a great project idea.
>> 
>> - Daniel
>> 
>> On Mon, Mar 22, 2010 at 5:47 PM, John Regehr <regehr at cs.utah.edu> 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.
>>> 
>>> John Regehr
>>> _______________________________________________
>>> cfe-dev mailing list
>>> cfe-dev at cs.uiuc.edu
>>> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
>>> 
>> 
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev