Memory Safe Programming with D

Presenter: Walter Bright, creator of the D programming language. (See https://dlang.org/)

As security breaches and malware infestations become ever more expensive, it is or soon will be a requirement to use a memory safe language. Memory safe code can be written in any language, including assembler. But taking a piece of code and verifying that it actually is memory safe is another matter entirely. The larger the code base is, the more impractical it gets to verify it does not have memory safe issues. Tools like AddressSanitizer can detect memory safety bugs at runtime in some cases, but they cannot verify code as being memory safe.

Language features are needed. I will show how the D programming language provides memory safe guarantees while still enabling low level programming.