4 ms·
So then memory safety isn't the end-all be-all for security anyways. What do you suggest we use instead?
by nmilo 3y ago
So then memory safety isn't the end-all be-all for security anyways. What do you suggest we use instead?
- gilcot 3y agoAda?
- irundebian 3y agoAda/SPARK
- a1o 3y agoCoq