Segurança da memória (do inglês memory safety) é o estado de proteção contra vários bugs de software e vulnerabilidades de segurança ao lidar com o acesso à memória, como estouro de buffer e ponteiros pendentes.[1] Por exemplo, o Java é considerado seguro para a memória porque sua detecção de erro em tempo de execução verifica os limites de array e desreferências de ponteiro.[1] Em contraste, C e C++ permitem aritmética arbitrária de ponteiros com ponteiros implementados como endereços diretos de memória sem provisão para verificação de limites,[2] e, portanto, são potencialmente inseguros para a memória (memory-unsafe).[3]
Referências
