Using sparse for endianness verification

mdomsch — Mon, 06 Nov 2006 03:08:34 +0000

sparse is now available in Fedora Extras for FC 5, 6, and -devel, and I'll be packaging it there going forward. Enjoy!

Using sparse for endianness verification

bos — Thu, 26 Oct 2006 04:51:38 +0000

I completely agree with Jon's endorsement of sparse. It's trivial to build and almost trivial to install. I say "almost trivial" because for some reason the binary it builds is called "check", while the program that the kernel build expects to run is called "sparse". So if you're not one to run "make install", remember to "cp check $DESTDIR/sparse".

I used sparse heavily to annotate the ipath driver in several different ways: endianness, opacity of some types, and visibility to userspace. These absolutely helped me to find and squish bugs that would not otherwise have been obvious, especially the endianness annotations (which makes sense, since the ipath driver is a network driver).

LWN: Comments on "Using sparse for endianness verification"

Using sparse for endianness verification

Using sparse for endianness verification