diff options
author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-06-16 01:38:01 +0200 |
---|---|---|
committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-06-16 07:02:02 +0200 |
commit | 78f577f89447b138982b512ce71bc13a4160e487 (patch) | |
tree | 1e5bce9ab0a0d0921bacda2eb5640ec82f8619c5 | |
parent | 030d27930858b2a57824940a80b712fc25fbd642 (diff) | |
download | sparse-78f577f89447b138982b512ce71bc13a4160e487.tar.gz |
doc: add intro stolen from the wiki
The wiki has a small introduction but there is none here.
So, copy this introduction from the wiki into the entrypoint
of the documentation (and convert the wikimedia markup
into restructuredtext).
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
-rw-r--r-- | Documentation/index.rst | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/Documentation/index.rst b/Documentation/index.rst index eb3de63c..415da4bb 100644 --- a/Documentation/index.rst +++ b/Documentation/index.rst @@ -6,6 +6,43 @@ Welcome to sparse's documentation .. toctree:: :maxdepth: 1 +About Sparse +------------ + +Sparse, the semantic parser, provides a compiler frontend capable of +parsing most of ANSI C as well as many GCC extensions, and a collection +of sample compiler backends, including a static analyzer also called `sparse`. +Sparse provides a set of annotations designed to convey semantic information +about types, such as what address space pointers point to, or what locks +function acquires or releases. + +Linus Torvalds started writing Sparse in 2003, initially targeting issues such +as mixing pointers to user address space and pointers to kernel address space. + +Josh Triplett was Sparse's first maintainer in 2006. This role was taken over +by Christopher Li in 2009 and by Luc Van Oostenryck in late 2018. + +Getting Sparse +-------------- + +You can find released versions of sparse at http://www.kernel.org/pub/software/devel/sparse/dist/ + +Obtaining sparse via Git +~~~~~~~~~~~~~~~~~~~~~~~~ + +Sparse uses the `Git version control system <http://git-scm.com/>`_. You can obtain the most recent version of sparse directly from the Git repository with the command:: + + git clone git://git.kernel.org/pub/scm/devel/sparse/sparse.git + +You can also `browse the Git repository <https://git.kernel.org/pub/scm/devel/sparse/sparse.git>`_. + +Mailing list +~~~~~~~~~~~~ + +Discussions about sparse occurs on the sparse mailing list, linux-sparse@vger.kernel.org. To subscribe to the list, send an email with ``subscribe linux-sparse`` in the body to ``majordomo@vger.kernel.org``. + +You can browse the list archives at https://marc.info/?l=linux-sparse. + User documentation ------------------ .. toctree:: |