Looks interesting, but it would be nice to see a worked example of finding a bug.
Also see https://github.com/google/syzkaller - lots of kernel bugs found by this one
Looks interesting, but it would be nice to see a worked example of finding a bug.