3 ms·
??? Rust freely declares itself to be inspired by Cyclone et al, but its capabilities are quite different from Cyclone's region analysis (and Carp actually cam
by Rusky 6y ago
???
Rust freely declares itself to be inspired by Cyclone et al, but its capabilities are quite different from Cyclone's region analysis (and Carp actually came after Rust).
The C++ static analysis, on the other hand, is quite limited in comparison even to Cyclone. It's not sound and doesn't even aim to be- in other words, "just" another static analysis that will not catch everything. ("Just" in quotes because of course more of this is great- my point is merely that it's not the same functionality coming to C++.)
- pjmlp 6y agoRead the comment I was replying to, before jumping into Rust advocacy mode. > My understanding is that Rust's chief innovation is the borrow checker. Carp was a mistake, I wanted to refer to Linear Lisp. Also in the context of worse is better, C and C++ solutions just need to be good enough. Learn this and advocate properly.
- Rusky 6y agoWhat makes you think I'm "advocating" anything? My goal is for people to understand the state of things. C and C++ have had static analyzers to catch "some version" of these problems for a long time now, so presumably anyone asking about borrow checker functionality would be interested in whether that functionality matches Rust's (i.e. is sound).
- pjmlp 6y agoIt reads like it. We should not forget that even if those static analysers aren't sound, they allow to keep using 50 years of eco-system. Which is why companies like Microsoft, despite all security talk, in the end add support for recent ISO C versions, and have "secure" platforms like Azure Sphere with a C only SDK.