About: Splint (programming tool)

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Splint (programming tool) Goto Sponge NotDistinct Permalink

An Entity of Type : wikidata:Q7397, within Data Space : el.dbpedia.org associated with source document(s)

Splint, short for Secure Programming Lint, is a programming tool for statically checking C programs for security vulnerabilities and coding mistakes. Formerly called LCLint, it is a modern version of the Unix lint tool. Splint has the ability to interpret special annotations to the source code, which gives it stronger checking than is possible just by looking at the source alone. Splint is used by gpsd as part of an effort to design for zero defects. Splint is free software released under the terms of the GNU General Public License.

Attributes	Values
rdf:type	Thing software work schema:CreativeWork wikidata:Q386724 wikidata:Q7397
rdfs:label	Splint (programming tool) (en)
rdfs:comment	Splint, short for Secure Programming Lint, is a programming tool for statically checking C programs for security vulnerabilities and coding mistakes. Formerly called LCLint, it is a modern version of the Unix lint tool. Splint has the ability to interpret special annotations to the source code, which gives it stronger checking than is possible just by looking at the source alone. Splint is used by gpsd as part of an effort to design for zero defects. Splint is free software released under the terms of the GNU General Public License. (en)
sameAs	Splint (programming tool)
dbp:wikiPageUsesTemplate	dbt:Infobox_software dbt:Portal dbt:Refimprove dbt:Reflist dbt:Start_date_and_age dbt:URL dbt:Sourceforge dbt:Programming-software-stub
Subject	Cross-platform software Software using the GPL license Static program analysis tools Free memory management software Free software testing tools
latest release date	2007-07-12 (xsd:date)
latest release version	3.1.2
foaf:name	Splint (en)
gold:hypernym	Pack saddle
dbp:wordnet_type	http://www.w3.org/2006/03/wn/wn20/instances/synset-software-noun-1
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Splint_(programming_tool)?oldid=1049368671&ns=0
Wikipage page ID	428420 (xsd:integer)
page length (characters) of wiki page	4041 (xsd:nonNegativeInteger)
Wikipage revision ID	1049368671 (xsd:integer)
developer	http://sourceforge.net/project/memberlist.php%3Fgroup_id=34302
genre	Static program analysis
license	GNU General Public License
operating system	Cross-platform software
has abstract	Splint, short for Secure Programming Lint, is a programming tool for statically checking C programs for security vulnerabilities and coding mistakes. Formerly called LCLint, it is a modern version of the Unix lint tool. Splint has the ability to interpret special annotations to the source code, which gives it stronger checking than is possible just by looking at the source alone. Splint is used by gpsd as part of an effort to design for zero defects. Splint is free software released under the terms of the GNU General Public License. Main development activity on Splint stopped in 2010. According to the CVS at SourceForge, as of September 2012 the most recent change in the repository was in November 2010. A Git repository at GitHub has more recent changes, starting in July 2019. (en)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Splint_(programming_tool)
is Wikipage redirect of	Secure Programming Lint SPlint Splint (IT) LCLint
is Link from a Wikipage to another Wikipage of	List of tools for static code analysis LCLint

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (72 GB total memory, 1 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software