Comment by procflora
2 days ago
And how about safety of life systems? They use computers in chemical plants and on planes, you know lol. Integer overflows have a body count!
2 days ago
And how about safety of life systems? They use computers in chemical plants and on planes, you know lol. Integer overflows have a body count!
In these applications we want what's called "Functional safety" where what we care about is that the humans are kept safe. A Memory Safe language can be useful to help achieve this, which is why https://ferrocene.dev/ exists but it's also important to have business processes to assure that what the software is supposed to do will keep the humans safe, memory safety doesn't distinguish between "Ensure the human operator is in the containment zone when a cloud of toxic vapour is released" and "Ensure the human operator is NOT in the containment zone when it is released". But for that operator this difference is crucial.