[cfe-dev] GSOC Static Analyzer Proposal

John Regehr 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 mailing list