I'm interested on this idea, and  sure this would be a great project. <div>I have ever developed a static analyzer just like meta-compilation, from Dawson Engler, Stanford.<br>But i'm not very familiar with clang</div>
<div> maybe we could do sth. like mygcc http://<span class="Apple-style-span" style="font-family: arial, sans-serif; color: rgb(0, 128, 0); "><b>mygcc</b>.<a href="http://free.fr/">free.fr/</a></span></div><div><font class="Apple-style-span" color="#008000" face="arial, sans-serif">I want be involved in this project if started.</font></div>
<div><font class="Apple-style-span" color="#008000" face="arial, sans-serif"><br></font></div><div><font class="Apple-style-span" color="#008000" face="arial, sans-serif">BTW: I ever read Prof. Regehr's papar about static analysis for interrupt-driven software. In fact, we're now researching on data race detection for interrupt-driven software. Could you please give me some advice in future?</font></div>
<div><font class="Apple-style-span" color="#008000" face="arial, sans-serif"><br></font><div class="gmail_quote">On Tue, Mar 23, 2010 at 8:47 AM, 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="margin:0 0 0 .8ex;border-left:1px #ccc solid;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>
<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>
<font color="#888888"><br>
John Regehr<br>
_______________________________________________<br>
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>
</font></blockquote></div><br><br clear="all"><br>-- <br>Chen Rui<br>
</div>