4 ms·

So is your rebuttal that since there are some reuse bugs, reading out of bounds is ok?

• tedunangst 11y ago
  How does one go from "memory safe languages are not magic bullets" to "reading out of bounds is ok"? That's not a type safe argument.
  • pcwalton 11y ago
    I think the point is just that "memory safety is a magic bullet" is a straw man version of the actual argument, "memory safety improves security significantly over not having it".
    • tedunangst 11y ago
      Alas, I see the strawman version trotted out at least as frequently as the more reasonable version.
    • wtracy 11y ago
      I've seem people believe that memory leaks can't happen in programs written in garbage-collected programs. So, yeah, the belief that garbage collection and/or bounds checking is a magic bullet really needs to be addressed.
      • eru 11y ago
        They are damn good bullets. Just not silver bullets. Restricting mutability would help somewhat. (Another bullet.)