5 ms·
> Rewriting in a safe language, like SPARK or the safe subset of Rust, would close the door on these vulnerabilities. Unfortunately this is easier said than do
by nineteen999 6y ago
> Rewriting in a safe language, like SPARK or the safe subset of Rust, would close the door on these vulnerabilities.
Unfortunately this is easier said than done, as evidenced by the fact that it is said a lot, and never done.
- MaxBarraclough 6y agoAgree. Not something I know a lot about but it seems to be a significant undertaking. I figure a production-grade implementation in safe Rust is more likely than a verified implementation in SPARK. I don't know how serious the rustls implementation is. Nice to see it makes no use of Rust's unsafe features. https://github.com/ctz/rustls https://github.com/ctz/rustls