Memory Safety - CI/CD用語集の定義

メモリ安全性とは、プログラムがアクセスすべきでないメモリを決して読み書きしないという性質で、buffer overflow、use-after-free、double-free、null dereference を排除します。GC、ownership/borrowing、または runtime のチェックによって強制されます。

関連ガイド

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 -…