[cfe-dev] GSOC Static Analyzer Proposal
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