| .. | .. |
|---|
| 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 | |
|---|