On Fri, Aug 28, 2020 at 12:02:09PM -0000, Christos Zoulas wrote: > David Holland <dholland-t...@netbsd.org> wrote: > > > Sounds like there is an in interesting fuzzing project in there for > > > someone - make a filesystem mage and the repeatedly damage it, then > > > see if fsck can fix it, then if you get a rump panic when moving > > > everything around, and then re-run fsck to see if it indicates any new > > > issues :) > > > > One can do that, but given that there are lots of edge cases and many > > of them will be hard to reach, formal verification might be more > > effective. > > I think we should fix all filesystems to pass: > > https://www.netbsd.org/~riastradh/tmp/dirconc.c > > Then we can think about formal verification :-)
You know I wrote the original version of that, right? :-) -- David A. Holland dholl...@netbsd.org