[Hedepig]

Does it not provide some protection against a buffer overflow?

[Filligree]

Indirectly, e.g. by ensuring that you can't modify an array while iterating over it. That sort of thing.