[cfe-dev] GSOC Static Analyzer Proposal
regehr at cs.utah.edu
Fri Apr 12 08:30:24 PDT 2013
> Thanks, I'll check that out.
> Maybe it would be helpful if I compiled a general list of what UB is being caught and
> where. Would anyone else have any interest?
I'd be happy to help with this. Starting with the Hatton book is a good
idea, though it's pretty old.
Also here's a bit of work done by some people on the C standards
I don't know if anything has come of this or not, but obviously the notion
that some undefined behaviors are worse than others is useful.
More information about the cfe-dev