5 ms·

Without a formal proof there is no measure of correctness at all.

• adrianN 9y ago
  Lots of passing tests mean nothing to you?
  • monocasa 9y ago
    When an exploit only needs one edge case not handled right? No, lots of unit tests means nothing. Maybe less than nothing due to the false sense of security they seem to give you.
    • 45h34jh53k4j 9y ago
      lets not go too far! tests can provide a security advantage over regressions or bugs introduced in the future. They are necessary but not sufficient to prove a particular security level.
    • adrianN 9y ago
      So you trust a software that has had zero testing equally to a software like sqlite that has extensive testing?