3 ms·

Remember too that the majority of the linux kernel isn't covered by any unit or integration tests.

• tptacek 5y ago
  A unit test isn't going to spot a bug like this, nor would a pre-written integration test. The kernel is extensively fuzzed.
  • pas 5y ago
    What methods/techniques/processes would have caught this? What's the most cost effective of those? (Are those even the right questions?)
    • ylyn 5y ago
      Fuzzing is probably the most likely, but even then..
    • wbl 5y ago
      Formal verification assuming you can even specify the problem well enough.