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

[John Regehr]

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?

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
>>
>