FAQ

Splint

Known as: LCLint, Secure Programming Lint 
Splint, short for Secure Programming Lint, is a programming tool for statically checking C programs for security vulnerabilities and coding mistakes… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1940-2017
0204019402016

Related topics

Related topics

8 relations
Buffer overflowConcurrent Versions SystemList of tools for static code analysisMemory debugger
(More)

Related mentions per year

Related mentions per year

1940-2018
19401960198020002020
Splint
Programming tool
Unix
Software testing
Buffer overflow
Concurrent Versions System

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
Mechanisch-technologisches Institut der Reichsanstalt für Holzforschung, Eberswalde
  • Holz als Roh- und Werkstoff
  • 2007
 
Is this relevant?
2006
2006
Staat und Wissenschaft im Deutschen Reich
  • St.
  • Anzeiger für Schädlingskunde
  • 2006
 
Is this relevant?
2004
2004
Development of Active Support Splint driven by Pneumatic Soft Actuator (ASSIST)
In this study, in order to realize an assist of independent life for the elderly or people in need of care and relieve a physical… (More)
  • figure 3
  • figure 1
  • figure 2
  • figure 4
  • figure 7
Is this relevant?
2004
2004
A Splint for Nonsurgical Correction of Cryptotia
A method for making an apparatus for nonsurgical correction of cryptotia from a paper clip and the tube of a scalp vein puncture… (More)
  • figure 2
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Testing static analysis tools using exploitable buffer overflows from open source code
Five modern static analysis tools (ARCHER, BOON, Poly-Space C Verifier, Splint, and UNO) were evaluated using source code… (More)
  • figure 1
  • table 1
  • table 3
  • table 2
  • table 4
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Statically Detecting Likely Buffer Overflow Vulnerabilities
Buffer overflow attacks may be today’s single most important security threat. This paper presents a new approach to mitigating… (More)
Is this relevant?
2001
2001
Teaching Software Engineering Using Lightweight Analysis
In teaching software engineering, it is a major challenge to integrate methodology and theory into the practice of software… (More)
Is this relevant?
Highly Cited
2000
Highly Cited
2000
A static analyzer for finding dynamic programming errors
interpretation [11,12] is a form of program analysis that maps programs into more abstract domains. This makes analysis more… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
LCLint: A Tool for Using Specifications to Check Code
This paper describes LCLint, an efficient and flexible tool that accepts as input programs (written in ANSI C) and various levels… (More)
Is this relevant?
1994
1994
Formal specification techniques for promoting software modularity, enhancing documentation, and testing specifications
This thesis presents three ideas. First, it presents a novel use of formal specification to promote a programming style based on… (More)
Is this relevant?