Mateusz, Now that NetBSD has dtrace (FBT) for the kernel, have you thought about how you might use write mode in dtrace to simulate failure?
Is there value in introducing specific dtrace probes (once we have SDT probes) to support fuzzing? Are further changes required, such as allowing longer sleeps, so that it is easier to use fuzz and delays to cause unexpected behaviour to multi-threaded applications? Is there scope within the existing dtrace tool for creating a dfuzz tool? ... I could go on... Darren