This article takes a look at the most common memory-related errors, and compares how well Rust and Ada prevent you from making them in the first place. TL;DR: Rust is better at outright preventing common memory-related errors, however Ada's avoidance of dynamic memory allocation and support for formal proof of correctness help you avoid many of the common errors altogether. Table of Contents Foreword Common Memory-Related Errors Memory Leaks Buffer Overflow Use After Free Double Free Race Condit...