I found this idea very interesting, but I don't have any background on compilers. I know just some basic things and started looking at Clang just some days ago (read the tutorial to get the general idea. I was more focused on llvm). So, I don't think I'd be a very helpful at SoC, but I'm definitely interested.<br>

If some one can give some pointers (directions, not 0xdeadbeef), I'd very thankful.<br><br><div class="gmail_quote">On Mon, Mar 22, 2010 at 9:47 PM, John Regehr <span dir="ltr"><<a href="mailto:regehr@cs.utah.edu">regehr@cs.utah.edu</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Oops-- just sent the message below to the main LLVM list, it probably<br>
would have been better sent to this list in the first place.<br>
<br>
--------------------<br>
<div class="im"><br>
Is anyone interested in a SoC project to further develop Clang's support for<br>
detecting undefined behaviors in C/C++?<br>
<br>
This is actually a collection of many smaller projects ranging from very easy<br>
(detecting divide by zero) to rather nasty (detecting references to<br>
out-of-scope automatic variables).<br>
<br>
If someone does this, I'm happy to help mentor, provide test cases, etc.<br>
<br>
If done well, this would be a relatively high-impact project.  It would catch<br>
more errors than valgrind, be faster, and provide much better error messages.<br>
<br>
John Regehr<br>
_______________________________________________<br>
</div>cfe-dev mailing list<br>
<a href="mailto:cfe-dev@cs.uiuc.edu">cfe-dev@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev</a><br>
</blockquote></div><br>