DTrace does not have arrays on purpose because they reasoned that those bounds checks will not be secure. And DTrace provides seemless tooling up into user-space scripts. Kernel, libc, scripts.

Until eBPF came around and said we can now prove it to be secure.

Until the sidechannel hackers came around to prove the opposite.