3 ms·

> now that unsafe memory management has been unambiguously shown to be the major factor in vulnerabilities, how safe memory management is still not recognized a

> now that unsafe memory management has been unambiguously shown to be the major factor in vulnerabilities, how safe memory management is still not recognized as the highest priority It is a shame it isn't taken more seriously, especially when you consider the recent Pegasus discoveries - https://digitalviolence.org/ https://digitalviolence.org/ A memory management error can literally be a matter of life and death for some.

pjmlp 5y ago
Therac-25.
- bregma 5y ago
  The Therac-25 tragedy was not a memory-management issue. If its had been written in Rust the state machine error would still have cooked a lot of people.
  - mratsim 5y ago
    Indeed, if we wanted to prevent it we would use ADA/Spark or a language with formal verification support say Frama-C.