Dependent types can prevent buffer overflow attacks without any additional runtime overhead.