“A Guide to Undefined Behavior in C and C++, Part 1” & Part 2 & Part 3 by John Regehr, and “Falsehoods programmers believe about undefined behavior” (via, via).