#Contents() * sparseプログラムについて sparseプログラムは、Linuxカーネルで使用されているソースコードチェッカーです。 sparseプログラムは、静的にプログラムをチェックし、間違いがあれば警告を出してくれます。Linuxカーネルのソースコードにおいて、ユーザ空間へのポインタとカーネル空間へのポインタが混在してしまっていたのをチェックするために、Linusが2003年に最初に作ったみたいです。 sparseのソースコードは、[[こちら>https://sparse.wiki.kernel.org/index.php/Main_Page]] * 使い方 まだよく調べていませんが、sparce ソースコード名 とすればチェックしてくれるようです。 Linuxカーネルのソースコードに対してsparseしたいときには、make C=2 とします。 チェックされる項目は