In regards to bounds checking, that has been solved in Solaris since ADI was introduced in 2015.

https://docs.oracle.com/en/operating-systems/solaris/oracle-...