Memory safety là gì?

An toàn bộ nhớ (memory safety) là trạng thái được bảo vệ khỏi các lỗi phần mềm (bug) và lỗ hổng bảo mật ( security vulnerability) khác nhau khi xử lý việc truy cập bộ nhớ (memory access), chẳng hạn như tràn bộ đệm (buffer overflow) và dangling pointer. Ví dụ Java được cho là an toàn bộ nhớ (memory safety) vì tính năng phát hiện lỗi runtime (runtime error) của nó sẽ kiểm tra phạm vi mảng (array bound) và tham chiếu con trỏ. Ngược lại C và C++ cho phép các phép toán số học trên con trỏ (pointer arithmetic) tùy ý với các con trỏ được triển khai dưới dạng địa chỉ bộ nhớ trực tiếp mà không có điều kiện kiểm tra phạm vi (bound checking), do đó có khả năng mất an toàn bộ nhớ (memory safety).