[cfe-dev] GSoC - Static Analyzer project ideas?

[Martin Milata]

Hello,

I would like to participate in this year's Google Summer of Code
program. I'm interested in working on the Static Analyzer, because I
think it has great potential to be a tool that a lot of programmers can
benefit from, and it also overlaps with my academic interests.

The analyzer is not mentioned on the open projects page, so my question
is if anybody has some project idea and/or is willing to mentor it? I
have tried to come up with something, but I don't know if it would be
really possible, useful and doable in the given time:

- support for interprocedural analysis

- support for external checkers (i.e. loadable at runtime, so clang does
  not have to be recompiled in order to use new checker)

- false positive elimination with constraint solver (klee seems to
  contain a solver that could be specifically used for this)

- C++ support (only thing mentioned on the analyzer web, I don't have an
  idea of extent of the work needed)

Thank you for any feedback,
Martin Milata