.. | .. |
---|
9 | 9 | number of potential problems with kernel code. See |
---|
10 | 10 | https://lwn.net/Articles/689907/ for an overview of sparse; this document |
---|
11 | 11 | contains some kernel-specific sparse information. |
---|
| 12 | +More information on sparse, mainly about its internals, can be found in |
---|
| 13 | +its official pages at https://sparse.docs.kernel.org. |
---|
12 | 14 | |
---|
13 | 15 | |
---|
14 | 16 | Using sparse for typechecking |
---|
.. | .. |
---|
73 | 75 | Getting sparse |
---|
74 | 76 | -------------- |
---|
75 | 77 | |
---|
76 | | -You can get latest released versions from the Sparse homepage at |
---|
77 | | -https://sparse.wiki.kernel.org/index.php/Main_Page |
---|
| 78 | +You can get tarballs of the latest released versions from: |
---|
| 79 | +https://www.kernel.org/pub/software/devel/sparse/dist/ |
---|
78 | 80 | |
---|
79 | 81 | Alternatively, you can get snapshots of the latest development version |
---|
80 | 82 | of sparse using git to clone:: |
---|
81 | 83 | |
---|
82 | 84 | git://git.kernel.org/pub/scm/devel/sparse/sparse.git |
---|
83 | | - |
---|
84 | | -DaveJ has hourly generated tarballs of the git tree available at:: |
---|
85 | | - |
---|
86 | | - http://www.codemonkey.org.uk/projects/git-snapshots/sparse/ |
---|
87 | | - |
---|
88 | 85 | |
---|
89 | 86 | Once you have it, just do:: |
---|
90 | 87 | |
---|