3 ms·
Does memory safety have a flushed out idea? Is it a form of borrow checking or something else? And if I recall correctly thread safety isn’t a target at all rig
by vlovich123 2y ago
Does memory safety have a flushed out idea? Is it a form of borrow checking or something else? And if I recall correctly thread safety isn’t a target at all right? Not sure how to square that with memory safety as a goal given the two are linked.
- steveklabnik 2y agoChandler posted about this on reddit: https://www.reddit.com/r/cpp/comments/1g4j5f0/safer_with_google_advancing_memory_safety/ls5u6eh/ https://www.reddit.com/r/cpp/comments/1g4j5f0/safer_with_goo...
- vlovich123 2y agoIt's weird that he excludes data races from the memory safety even though data races can be in the other classes he calls out. Not sure I buy that it's not as relevant for security since use-after-free is a common side effect of data races.
- steveklabnik 2y agoI am also a little confused by it, but we'll see how it goes. Since everything is still subject to change, it's possible that this won't be the final word on the matter, so I'm not too concerned at this stage.