Hi, I just stumbled upon those slides, where they test file system code in the linux kernel (ext4, btrfs, xfs, ...) using a fuzzing method (they do find bugs): http://events.linuxfoundation.org/sites/events/files/slides/AFL%20filesystem%20fuzzing%2C%20Vault%202016.pdf I have not studied it in detail, but it looks like they used the open source "American Fuzzy Lop" (afl, written for userland code) and got some ideas how to employ it for kernel code. Could this perhaps be used to test some parts of cryptsetup? Best wishes, Lars
Attachment:
signature.asc
Description: OpenPGP digital signature
_______________________________________________ dm-crypt mailing list dm-crypt@xxxxxxxx http://www.saout.de/mailman/listinfo/dm-crypt
