On 1/4/2014 5:49 AM, Timon Gehr wrote: > Hence it is fine to claim that the lack of dereferenceable null pointers makes a > language safer, even though it has no bearing on memory safety. I believe it is misusing the term by conflating safety with bug-free.