If you want to read more than can handle about undefined behavior in C, check out John Regehr's blog (http://blog.regehr.org/ http://blog.regehr.org/) and acade

If you want to read more than can handle about undefined behavior in C, check out John Regehr's blog (http://blog.regehr.org/ http://blog.regehr.org/) and academic papers (http://www.cs.utah.edu/~regehr/papers/ http://www.cs.utah.edu/~regehr/papers/). He also posts here on HN.