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 free software released under the terms of the GNU General Public License.

PropertyValue
dbpedia-owl:Software/license
dbpedia-owl:Work/genre
dbpedia-owl:genre
dbpedia-owl:license
dbpprop: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 free software released under the terms of the GNU General Public License. Recent development activity on Splint has slowed significantly. According to the CVS at SourceForge, as of January 2009 the most recent change in the repository was in August 2008. The whole year 2008 had only two write accesses to the repository. The maintainer has said that development is stagnant and the project needs new volunteers. On the Splint homepage, the latest release is version 3.1.2 on July 12 2007.
  • Splint (Secure Programming Lint) ist eine Software für statische Quellcode-Analysen der Programmiersprache C. Splint ist eine indirekte Weiterentwicklung von Lint. Splint ist freie Software, die unter der GNU General Public License veröffentlicht ist. Splint analysiert C Quellcode und weist auf wahrscheinliche Programmierfehler hin, wenn zum Beispiel typische Konstrukte der Programmiersprache C in unüblicher Art und Weise angewendet wurden, die wahrscheinlich aus einer Verwechslung von ähnlichen Operatoren oder durch das Vergessen eines Klammerpaars entstanden sind. Zusätzlich interpretiert Splint diverse Annotationen in C-Kommentaren, um so zwischen der absichtlichen und der versehentlichen Verwendung eines Konstrukts zu unterscheiden und nur bei letzterer eine Fehlerwarnung auszugeben.
dbpprop:developer
dbpprop:genre
dbpprop:hasPhotoCollection
dbpprop:latestReleaseVersion
  • 3.1.2
dbpprop:license
dbpprop:name
  • Splint
dbpprop:operatingSystem
dbpprop:portalProperty
  • Free Software Portal Logo.svg
  • Free software
dbpprop:reference
dbpprop:website
dbpprop:wikiPageUsesTemplate
dbpprop:wordnet_type
rdf:type
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 free software released under the terms of the GNU General Public License.
  • Splint (Secure Programming Lint) ist eine Software für statische Quellcode-Analysen der Programmiersprache C. Splint ist eine indirekte Weiterentwicklung von Lint. Splint ist freie Software, die unter der GNU General Public License veröffentlicht ist.
rdfs:label
  • Splint (programming tool)
  • Splint (Software)
owl:sameAs
skos:subject
foaf:homepage
foaf:name
  • Splint
foaf:page
is dbpprop:disambiguates of
is dbpprop:redirect of