Memory Safety - Definição do Glossário de CI/CD

Segurança de memória é a propriedade de um programa nunca ler ou escrever memória que não deveria - descartando buffer overflows, use-after-free, double-free e null dereferences; ela é imposta por GC, por ownership/borrowing ou por verificações em runtime.

Guias relacionados

Undefined Behavior - CI/CD Glossary DefinitionUndefined behavior is code whose effect the language spec leaves unconstrained, so the compiler may do anythi… Borrow Checker - CI/CD Glossary DefinitionA borrow checker statically enforces that references never outlive their data or alias mutably, catching use-… Data Race - CI/CD Glossary DefinitionA data race is two threads accessing the same memory at once with at least one write and no synchronization -…