<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Apr 9, 2013 at 11:51 PM, Adam Schnitzer <span dir="ltr"><<a href="mailto:adamschn@umich.edu" target="_blank">adamschn@umich.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hello All,<br> <br>I am planning on proposing a project for Google Summer of Code this summer, and would like to get your feedback before I write up a formal proposal.<br>
 <br>I would like to work on improving support for C++ in the static analyzer. Specifically, I think it would be valuable to improve the checkers for undefined behavior including those <a href="http://clang-analyzer.llvm.org/potential_checkers.html" target="_blank">already suggested</a>.<br>


 <br>Also, I think it would be helpful to extend the static analyzer to check for stylistic violations. For example, projects like LLVM have suggestions like, "Don't use else after a return". These warnings would often be noisy, and project dependent, so it would be useful to make those options configurable and suppressible.<br>


 <br>I am also interested in implementing several of the optimization checkers. Specifically, it would be valuable to have warnings about postfix increment and pass by value give an idea of how large the object being copied is.<br>
   </blockquote><div><br></div><div style>All these ideas sound valuable. I recommend initially focusing on just one of them though, and get to the others as time permits.</div><div style><br></div><div style>-- Sean Silva </div>
</div></div></div>