STLlint: lifting static checking from languages to libraries

@article{Gregor2006STLlintLS,
  title={STLlint: lifting static checking from languages to libraries},
  author={Douglas P. Gregor and Sibylle Schupp},
  journal={Softw., Pract. Exper.},
  year={2006},
  volume={36},
  pages={225-254}
}
Traditional static checking centers around finding bugs in programs by isolating cases where the language has been used incorrectly. These language-based checkers do not understand the semantics of software libraries, and therefore cannot be used to detect errors in the use of libraries. In this paper, we introduce STLlint, a program analysis we have implemented for the C++ Standard Template Library and similar, generic software libraries, and we present the general approach that underlies… CONTINUE READING
Highly Cited
This paper has 47 citations. REVIEW CITATIONS