4 ms·
Reminds me of Cyclone: https://cyclone.thelanguage.org/ https://cyclone.thelanguage.org/ Many Cyclone ideas made it into Rust. I strongly prefer Rust.
by partycoder 10y ago
Reminds me of Cyclone: https://cyclone.thelanguage.org/ https://cyclone.thelanguage.org/
Many Cyclone ideas made it into Rust.
I strongly prefer Rust.
- vintermann 10y agoYou should look at their paper. They have an impressive survey of prior approaches including Cyclone, and they claim that their approach (if I understand them correctly) could allow you to do some things outside of unsafe blocks if implemented in C# or Rust.
- pcwalton 10y agoI don't see any use-after-free prevention here from a skim of the paper, so this doesn't seem to address many of the most important benefits you get from C# or Rust. Use-after-free is not a theoretical problem. All of the Pwn2Own vulnerabilities this year were UAF, for example.