[cfe-dev] GSOC Static Analyzer Proposal

John Regehr regehr at cs.utah.edu
Wed Apr 10 10:54:18 PDT 2013

> 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 

- 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 

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


More information about the cfe-dev mailing list