[mhh__]

It's far from done, but the GCC static analyzer actually can find iterator invalidation!

[UncleMeat]

Some of it. Because a sound analysis would throw FPs up too frequently, they make the logical decision to use an unsound analysis. This is helpful, but cannot prevent the entire class of issues.