STLlint

STLlint: lifting static checking from languages to libraries. 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 STLlint. We show that static checking of library semantics differs greatly from checking of language semantics, requiring new representations of program behavior and new algorithms. Major challenges include checking the use of generic algorithms, loop analysis for interfaces, and organizing behavioral specifications for extensibility


References in zbMATH (referenced in 3 articles )

Showing results 1 to 3 of 3.
Sorted by year (citations)

  1. Dross, Claire; Filliâtre, Jean-Christophe; Moy, Yannick: Correct code containing containers (2011)
  2. Liao, Chunhua; Quinlan, Daniel J.; Willcock, Jeremiah J.; Panas, Thomas: Semantic-aware automatic parallelization of modern applications using high-level abstractions (2010)
  3. Gregor, Douglas; Schupp, Sibylle: STLlint: lifting static checking from languages to libraries (2006) ioport