Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Splint_(programming_tool)> ?p ?o }
Showing triples 1 to 78 of
78
with 100 triples per page.
- Splint_(programming_tool) 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.Recent development activity on Splint has slowed significantly. According to the CVS at SourceForge, as of September 2012 the most recent change in the repository was in November 2010. The maintainer has said that development is stagnant and the project needs new volunteers.".
- Splint_(programming_tool) developer memberlist.php?group_id=34302.
- Splint_(programming_tool) genre Static_program_analysis.
- Splint_(programming_tool) latestReleaseDate "2007-07-12".
- Splint_(programming_tool) latestReleaseVersion "3.1.2".
- Splint_(programming_tool) license GNU_General_Public_License.
- Splint_(programming_tool) operatingSystem Cross-platform.
- Splint_(programming_tool) wikiPageExternalLink memberlist.php?group_id=34302.
- Splint_(programming_tool) wikiPageExternalLink splint.
- Splint_(programming_tool) wikiPageExternalLink splint.org.
- Splint_(programming_tool) wikiPageExternalLink pubs.html.
- Splint_(programming_tool) wikiPageExternalLink splint-discuss.
- Splint_(programming_tool) wikiPageExternalLink www.splint.org.
- Splint_(programming_tool) wikiPageID "428420".
- Splint_(programming_tool) wikiPageLength "4184".
- Splint_(programming_tool) wikiPageOutDegree "24".
- Splint_(programming_tool) wikiPageRevisionID "679052599".
- Splint_(programming_tool) wikiPageWikiLink Buffer_overflow.
- Splint_(programming_tool) wikiPageWikiLink C_(programming_language).
- Splint_(programming_tool) wikiPageWikiLink Category:Cross-platform_software.
- Splint_(programming_tool) wikiPageWikiLink Category:Free_memory_management_software.
- Splint_(programming_tool) wikiPageWikiLink Category:Free_software_testing_tools.
- Splint_(programming_tool) wikiPageWikiLink Category:Software_using_the_GPL_license.
- Splint_(programming_tool) wikiPageWikiLink Category:Static_program_analysis_tools.
- Splint_(programming_tool) wikiPageWikiLink Concurrent_Versions_System.
- Splint_(programming_tool) wikiPageWikiLink Cross-platform.
- Splint_(programming_tool) wikiPageWikiLink Free_software.
- Splint_(programming_tool) wikiPageWikiLink GNU_General_Public_License.
- Splint_(programming_tool) wikiPageWikiLink Gpsd.
- Splint_(programming_tool) wikiPageWikiLink Lint_(software).
- Splint_(programming_tool) wikiPageWikiLink List_of_tools_for_static_code_analysis.
- Splint_(programming_tool) wikiPageWikiLink Memory_debugger.
- Splint_(programming_tool) wikiPageWikiLink Programming_tool.
- Splint_(programming_tool) wikiPageWikiLink Software_testing.
- Splint_(programming_tool) wikiPageWikiLink SourceForge.
- Splint_(programming_tool) wikiPageWikiLink Source_code.
- Splint_(programming_tool) wikiPageWikiLink Static_program_analysis.
- Splint_(programming_tool) wikiPageWikiLink Unix.
- Splint_(programming_tool) wikiPageWikiLink Vulnerability_(computing).
- Splint_(programming_tool) wikiPageWikiLinkText "Splint (programming tool)".
- Splint_(programming_tool) wikiPageWikiLinkText "Splint".
- Splint_(programming_tool) developer memberlist.php?group_id=34302.
- Splint_(programming_tool) genre Static_program_analysis.
- Splint_(programming_tool) latestReleaseDate "2007-07-12".
- Splint_(programming_tool) latestReleaseVersion "3.1".
- Splint_(programming_tool) license GNU_General_Public_License.
- Splint_(programming_tool) name "Splint".
- Splint_(programming_tool) operatingSystem Cross-platform.
- Splint_(programming_tool) website splint.org.
- Splint_(programming_tool) wikiPageUsesTemplate Template:Infobox_software.
- Splint_(programming_tool) wikiPageUsesTemplate Template:Portal.
- Splint_(programming_tool) wikiPageUsesTemplate Template:Programming-software-stub.
- Splint_(programming_tool) wikiPageUsesTemplate Template:Refimprove.
- Splint_(programming_tool) wikiPageUsesTemplate Template:Reflist.
- Splint_(programming_tool) wikiPageUsesTemplate Template:Release_date.
- Splint_(programming_tool) subject Category:Cross-platform_software.
- Splint_(programming_tool) subject Category:Free_memory_management_software.
- Splint_(programming_tool) subject Category:Free_software_testing_tools.
- Splint_(programming_tool) subject Category:Software_using_the_GPL_license.
- Splint_(programming_tool) subject Category:Static_program_analysis_tools.
- Splint_(programming_tool) hypernym Tool.
- Splint_(programming_tool) type Software.
- Splint_(programming_tool) type Work.
- Splint_(programming_tool) type Tool.
- Splint_(programming_tool) type CreativeWork.
- Splint_(programming_tool) type Thing.
- Splint_(programming_tool) type Q386724.
- Splint_(programming_tool) type Q7397.
- Splint_(programming_tool) 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_(programming_tool) label "Splint (programming tool)".
- Splint_(programming_tool) sameAs Q2311792.
- Splint_(programming_tool) sameAs Splint_(Software).
- Splint_(programming_tool) sameAs m.027bhj.
- Splint_(programming_tool) sameAs Q2311792.
- Splint_(programming_tool) wasDerivedFrom Splint_(programming_tool)?oldid=679052599.
- Splint_(programming_tool) homepage splint.org.
- Splint_(programming_tool) isPrimaryTopicOf Splint_(programming_tool).
- Splint_(programming_tool) name "Splint".