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

 <br>I would be very interested to hear your feedback, specifically, if you think this project would be valuable.<br> <br>Thank You,<br>Adam Schnitzer