[cfe-dev] [GSOC] Static Analyzer infrastructure improvement, BodyFarm

[Gábor Horváth]

Hello clang-devel,

I am a student, and I would like to participate in Google Summer of Code
2014. I am mainly interested in the Static Analyzer and I would like to
make infrastructural improvements. I have some experience in writing
checkers and other clang based tools. Right now I am an intern at a company
where my job is to implement checkers to verify that wether their code
follows their design rules.

In my work one of my biggest obstacle was that, the static analyzer lacks
the ability of cross translation unit analysis. This is the reason why I am
very interested in BodyFarm.

There is an open project to model standard library functions using BodyFarm
to make the analysis more precise. I would like to help to make BodyFarm
working.

Furthermore I would like to make BodyFarm something more general. Coverity
is doing it's analysis in two steps. First it builds a model, and than it
uses that model when it does the analysis. I want to make it possible for
checker writers to do a preliminary run to collect some definitions that
can be used during the analysis. This would provide checker writers with
some limited cross translation unit support which would be a great
improvement in my opinion.

What are your opinions? Is there someone who willing to mentor this
project? What are the chances it will get accepted?

Thanks in advance,
Gábor Horváth
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20140311/65135015/attachment.html>