安全って何?

メモリ安全?
型安全?
モジュラリティ?
仕様に準拠しているかどうか?