[scatters]

How would that help? The behavior would be defined, but it still wouldn't be what you /want/.

[Peaker]

Defined good behavior > defined bad behavior > undefined behavior.

This article is about attacking the last category.

Unsigned overflow is far less of a problem than signed overflow because it is defined.

It is very cheap to make signed overflow defined. It is more expensive to detect it and fail at runtime.