[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 
committee:

http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1278
http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1331.pdf
http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1344.htm

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.

John



More information about the cfe-dev mailing list