[cfe-dev] GSoC 2012: Static Function Blacklisting

[David Chisnall]

On 30 Mar 2012, at 17:01, Anna Zaks wrote:

> - Come up with a framework of storing the intermediate results between the analyzes of different translation units. Most likely, this is the direction the current clang static analyzer will take at some point; however, this is a challenging problem.

This, by itself, would make a good GSoC project.  A persistence framework for adding annotations to functions, so that the analyser could run as in two passes, one collecting metadata and another applying it would not be a massively complex project by itself, but would be hugely useful for a whole range of analyses.  

David