メモリ安全性
境界チェック(英語版)は操作が境界(範囲)を超えているか否かを検査する機能である。配列アクセス時のインデックスチェック (index checking) が有名である。検査は実行時におこなわれる場合が多い(コンパイル時の完全な境界チェックは実用段階に至っていない)。実行時境界チェックによる例外を用いることで、バッファオーバーフローをはじめとした多くのメモリアクセスに対して安全性が得られる。