• planish@sh.itjust.works
    link
    fedilink
    arrow-up
    2
    arrow-down
    2
    ·
    1 year ago

    Every piece of software has vulnerabilities lurking within.

    Remind me why we put up with this again? Formal verification does exist.

    • fartsparkles@sh.itjust.works
      link
      fedilink
      arrow-up
      3
      ·
      1 year ago

      Formal Verification doesn’t guarantee that the code is free of vulnerability, it just increases confidence in its security. It’s never perfect.