[cfe-dev] GSOC Static Analyzer Proposal

[John Regehr]

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

I'd be happy to provide feedback on a more specific version of this part 
of the proposal.

In particular, a useful starting point (maybe this already exists?) would 
be a list of all C/C++ undefined behaviors broken down by whether 
Clang/LLVM...

- can reliably provide a compile-time diagnostic

- can reliably provide a runtime diagnostic

- cannot provide any diagnostic, but implements a predictable behavior

- cannot provide any diagnostic and also implements unpredictable 
behavior

Obviously the last category is the interesting place for future work.

John