タグ

2014年1月21日のブックマーク (1件)

  • sparse - 組み込み Linux 開発の手引き - アットウィキ

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

    sparse - 組み込み Linux 開発の手引き - アットウィキ
    hiboma
    hiboma 2014/01/21
    __user, __iomem,