Security Audit for the D Programming Language

Memory corruption has been, traditionally, the number one cause for software vulnerabilities. As a consequence, programming languages that offer automated, compile time memory safety checks have been developed, such as D and Rust. However, since programming languages are pieces of software, they also may suffer from vulnerabilities that may be exploited to bypass the memory safety checking algorit...