3 ms·
The Linux kernel development process is indeed broken. Fixing that would reduce the discrepancy between the rate of new bugs and the rate of fixes. This needs t
by bjackman 3y ago
The Linux kernel development process is indeed broken. Fixing that would reduce the discrepancy between the rate of new bugs and the rate of fixes. This needs to be done, C is not going away any time soon. But while we are writing C we will be creating new bugs faster than we can fix them. We will never get 100% fuzzing coverage. Nor can sanitizers catch every bug.
As you suggested though, static analysis has lots of scope for solutions. The best static analyzer around is a little thing called rustc :)