Segurança de memória
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
- ↑ a b Dhurjati, Dinakar; Kowshik, Sumant; Adve, Vikram; Lattner, Chris (1º de janeiro de 2003). «Memory Safety Without Runtime Checks or Garbage Collection» (PDF). ACM. Proceedings of the 2003 ACM SIGPLAN Conference on Language, Compiler, and Tool for Embedded Systems (em inglês): 69–80. ISBN 1581136471. doi:10.1145/780732.780743. Consultado em 13 de março de 2017
- ↑ Koenig, Andrew. «How C Makes It Hard To Check Array Bounds». Dr. Dobb's. Consultado em 13 de março de 2017
- ↑ Akritidis, Periklis (Junho de 2011). «Practical memory safety for C» (PDF). University of Cambridge, Computer Laboratory. Technical Report - University of Cambridge. Computer Laboratory. ISSN 1476-2986. UCAM-CL-TR-798. Consultado em 13 de março de 2017
