実行時チェック

型チェック
配列境界
その他たくさん
安全