D Programming Language 2.0

Last update Mon Dec 26 20:17:06 2011


Memory Safety for a program is defined as it being impossible for the program to corrupt memory. Therefore, the Safe D consists only of programming language features that are guaranteed to never result in memory corruption.

Safe D is enabled on a per-module basis by compiling with the -safe compiler switch.

Proscribed Forms

A safe module can import and use the public interface of a system module.


Safe D does not imply that code is portable, uses only sound programming practices, is free of byte order dependencies, or other bugs. It is focussed only on eliminating memory corruption possibilities.

Forums | Comments |  D  | Search | Downloads | Home