About: Sparse

In computer science, Sparse is a tool designed to find possible coding faults in the Linux kernel. This static analysis tool differed from other such tools in that it was initially designed to flag constructs that were only likely to be of interest to kernel developers, e.g. mixing pointers to user address space and pointers to kernel address space.

Property	Value
dbpedia-owl:abstract	In computer science, Sparse is a tool designed to find possible coding faults in the Linux kernel. This static analysis tool differed from other such tools in that it was initially designed to flag constructs that were only likely to be of interest to kernel developers, e.g. mixing pointers to user address space and pointers to kernel address space. Sparse contains built-in checks for known problematic and 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. Josh Triplett was the maintainer of Sparse from 2006, a role taken over by Christopher Li in 2009. Li is the current maintainer. Sparse is released under the Open Software License, version 1.1.
dbpedia-owl:author	dbpedia:Linus_Torvalds
dbpedia-owl:genre	dbpedia:Static_program_analysis
dbpedia-owl:latestReleaseVersion	0.4.3
dbpedia-owl:license	dbpedia:Open_Software_License
dbpedia-owl:operatingSystem	dbpedia:Linux
dbpedia-owl:wikiPageExternalLink	http://www.mjmwired.net/kernel/Documentation/sparse.txt http://www.kernel.org/doc/ols/2009/ols2009-pages-209-220.pdf http://www.kernel.org/doc/ols/2009/ http://lxr.linux.no/linux+/include/linux/types.h http://lwn.net/Articles/87538/ http://www.linuxjournal.com/article/7272 http://lxr.linux.no/linux+/include/linux/compiler.h http://sparse.wiki.kernel.org/ http://archives.ece.iastate.edu/archive/00000566/01/thesis.pdf http://sparse.wiki.kernel.org
dbpprop:author	dbpedia:Linus_Torvalds
dbpprop:developer	Josh Triplett, Christopher Li
dbpprop:genre	dbpedia:Static_program_analysis
dbpprop:latestReleaseVersion	0 (xsd:integer)
dbpprop:license	dbpedia:Open_Software_License
dbpprop:name	Sparse
dbpprop:operatingSystem	dbpedia:Linux
dbpprop:released	2003 (xsd:integer)
dbpprop:website	http://sparse.wiki.kernel.org
dbpprop:wikiPageUsesTemplate	dbpedia:Template:Infobox_software
dbpprop:wordnet_type	http://www.w3.org/2006/03/wn/wn20/instances/synset-software-noun-1
dcterms:subject	category:Static_program_analysis_tools
rdf:type	owl:Thing dbpedia-owl:Software schema:CreativeWork dbpedia-owl:Work yago:Software106566077
rdfs:comment	In computer science, Sparse is a tool designed to find possible coding faults in the Linux kernel. This static analysis tool differed from other such tools in that it was initially designed to flag constructs that were only likely to be of interest to kernel developers, e.g. mixing pointers to user address space and pointers to kernel address space.
rdfs:label	Sparse
owl:sameAs	fbase:Sparse
foaf:homepage	http://sparse.wiki.kernel.org
foaf:name	Sparse
foaf:page	http://en.wikipedia.org/wiki/Sparse
is dbpedia-owl:wikiPageDisambiguates of	dbpedia:Sparse_(disambiguation)
is owl:sameAs of	http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/Sparse yago-res:Sparse
is foaf:primaryTopic of	http://en.wikipedia.org/wiki/Sparse