Documentation/index.rst

   1 .. sparse documentation master file.
   2
   3 Welcome to sparse's documentation
   4 =================================
   5
   6 .. toctree::
   7    :maxdepth: 1
   8
   9 About Sparse
  10 ------------
  11
  12 Sparse, the semantic parser, provides a compiler frontend capable of
  13 parsing most of ANSI C as well as many GCC extensions, and a collection
  14 of sample compiler backends, including a static analyzer also called `sparse`.
  15 Sparse provides a set of annotations designed to convey semantic information
  16 about types, such as what address space pointers point to, or what locks
  17 function acquires or releases.
  18
  19 Linus Torvalds started writing Sparse in 2003, initially targeting issues such
  20 as mixing pointers to user address space and pointers to kernel address space.
  21
  22 Josh Triplett was Sparse's first maintainer in 2006. This role was taken over
  23 by Christopher Li in 2009 and by Luc Van Oostenryck in late 2018.
  24
  25 Getting Sparse
  26 --------------
  27
  28 The most recent version can be obtained directly from the Git
  29 repository with the command::
  30
  31         git clone git://git.kernel.org/pub/scm/devel/sparse/sparse.git
  32
  33 You can also `browse the Git repository <https://git.kernel.org/pub/scm/devel/sparse/sparse.git>`_
  34 or use the mirror at https://github.com/lucvoo/sparse.
  35 The tarballs of released versions of Sparse and their signatures can be found at
  36 https://www.kernel.org/pub/software/devel/sparse/dist/.
  37
  38 Once you have the sources, to build Sparse and install it in your ~/bin
  39 directory, just do::
  40
  41         cd sparse
  42         make
  43         make install
  44
  45 To install it in another directory, use::
  46
  47         make PREFIX=<some directory> install
  48
  49 Contributing and reporting bugs
  50 -------------------------------
  51
  52 Submission of patches and reporting of bugs, as well as discussions
  53 related to Sparse, should be done via the mailing list:
  54 linux-sparse@vger.kernel.org.
  55 You do not have to be subscribed to the list to send a message there.
  56 Previous discussions and bug reports are available on the list
  57 archives at https://marc.info/?l=linux-sparse.
  58
  59 To subscribe to the list, send an email with
  60 ``subscribe linux-sparse`` in the body to ``majordomo@vger.kernel.org``.
  61
  62 Bugs can also be reported and tracked via the `Linux kernel's bugzilla for sparse
  63 <https://bugzilla.kernel.org/enter_bug.cgi?component=Sparse&product=Tools>`_.
  64
  65
  66 .. toctree::
  67    :caption: User Documentation
  68    :maxdepth: 1
  69
  70    annotations
  71
  72 Some interesting external documentation:
  73
  74 * `Sparse: a look under the hood <https://lwn.net/Articles/689907/>`_
  75 * `Sparse: a short overview <https://sil2.osadl.org/events/ewc-2019-hands-on/sparse_slides.pdf>`_
  76
  77 .. toctree::
  78    :caption: Development
  79    :maxdepth: 1
  80
  81    submitting-patches
  82    types
  83    api
  84    dev-options
  85    IR
  86    test-suite
  87    doc-guide
  88    TODO
  89    smatch
  90
  91 .. toctree::
  92    :caption: Release Notes
  93    :maxdepth: 1
  94
  95    release-notes/index
  96
  97 Indices and tables
  98 ==================
  99
 100 * :ref:`genindex`