This HTML5 document contains 37 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n7http://sourceforge.net/project/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
n8http://www.w3.org/2006/03/wn/wn20/instances/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n16http://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Splint_(programming_tool)
rdf:type
dbo:Software owl:Thing dbo:Work wikidata:Q386724 wikidata:Q7397 schema:CreativeWork
rdfs:label
Splint (programming tool)
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.
owl:sameAs
freebase:m.027bhj
dbp:wikiPageUsesTemplate
dbt:Start_date_and_age dbt:URL dbt:Reflist dbt:Refimprove dbt:Portal dbt:Sourceforge dbt:Infobox_software dbt:Programming-software-stub
dct:subject
dbc:Static_program_analysis_tools dbc:Free_memory_management_software dbc:Free_software_testing_tools dbc:Software_using_the_GPL_license dbc:Cross-platform_software
dbo:latestReleaseDate
2007-07-12
dbo:latestReleaseVersion
3.1.2
foaf:name
Splint
gold:hypernym
dbr:Tool
dbp:wordnet_type
n8:synset-software-noun-1
prov:wasDerivedFrom
n16:Splint_(programming_tool)?oldid=1049368671&ns=0
dbo:wikiPageID
428420
dbo:wikiPageLength
4041
dbo:wikiPageRevisionID
1049368671
dbo:developer
n7:memberlist.php%3Fgroup_id=34302
dbo:genre
dbr:Static_program_analysis
dbo:license
dbr:GNU_General_Public_License
dbo:operatingSystem
dbr:Cross-platform_software
dbo: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.
foaf:isPrimaryTopicOf
n16:Splint_(programming_tool)