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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2007
2006
2006
  • St.
  • Anzeiger für Schädlingskunde
  • 2006
 
Is this relevant?
2004
2004
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 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
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
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
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
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
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
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?