[cfe-dev] GSOC Static Analyzer Proposal

[Sean Silva]

On Tue, Apr 9, 2013 at 11:51 PM, Adam Schnitzer <adamschn at umich.edu> wrote:

> Hello All,
>
> 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.
>
> 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 already suggested<http://clang-analyzer.llvm.org/potential_checkers.html>
> .
>
> 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.
>
> 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.
>


All these ideas sound valuable. I recommend initially focusing on just one
of them though, and get to the others as time permits.

-- Sean Silva
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20130410/86eda229/attachment.html>