[bbatha]

The difference is that the array bounds are checked and the behavior is defined whereas bad unsafe pointer athematic if you’re lucky gives you a segfault and at worst an RCE.

[alexchamberlain]

Array bounds are essentially unchecked in C, unless you go so far over as to hit a guard page.