Main Page

From Sparse Wiki
(Difference between revisions)
Jump to: navigation, search
(Dave Jones' snapshots doesn't seem to available anymore: remove the related info)
(add link to documentation)
 
Line 33: Line 33:
  
 
You can browse the list archives at https://marc.info/?l=linux-sparse.
 
You can browse the list archives at https://marc.info/?l=linux-sparse.
 +
 +
== Documentation ==
 +
Sparse's documentation can be found at https://sparse.docs.kernel.org/

Latest revision as of 18:20, 12 June 2020

Contents

[edit] Sparse - a Semantic Parser for C

[edit] 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 a 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.

[edit] News

[edit] Getting Sparse

[edit] Sparse releases

You can find released versions of sparse at http://www.kernel.org/pub/software/devel/sparse/dist/

[edit] Obtaining sparse via Git

Sparse uses the Git version control system. 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.

[edit] Mailing list

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

[edit] Documentation

Sparse's documentation can be found at https://sparse.docs.kernel.org/

Personal tools