STL

Compile-time advances of the C++ standard template library. The C++ Standard Template Library is the flagship example for libraries based on the generic programming paradigm. The usage of this library is intended to minimize classical C/C++ errors, but does not warrant bug-free programs. Furthermore, many new kinds of errors may arise from the inaccurate use of the generic programming paradigm, like dereferencing invalid iterators or misunderstanding remove-like algorithms. Every standard container offers a template parameter in order to customize the memory management. Allocator types are accountable for allocation and deallocation of memory.par In this paper, we present some scenarios that may cause undefined or weird behaviour at runtime. These scenarios are related to allocators and reverse iterators. We emit warnings while these constructs are used without any modification in the compiler. We also present a general approach to emit “customized” warnings. We support the so-called believe-me marks in order to disable our specific warnings.


References in zbMATH (referenced in 79 articles , 2 standard articles )

Showing results 21 to 40 of 79.
Sorted by year (citations)
  1. Pataki, Norbert: C++ Standard Template Library by safe functors (2011) ioport
  2. Siek, Jeremy G.; Lumsdaine, Andrew: A language for generic programming in the large (2011)
  3. Bernardy, Jean-Philippe; Jansson, Patrik; Zalewski, Marcin; Schupp, Sibylle: Generic programming with C++ concepts and Haskell type classes-a comparison (2010)
  4. Bucksch, Alexander; Lindenbergh, Roderik; Menenti, Massimo: SkelTre. Robust skeleton extraction from imperfect point clouds (2010) ioport
  5. Compère, Gaëtan; Remacle, Jean-François; Jansson, Johan; Hoffman, Johan: A mesh adaptation framework for dealing with large deforming meshes (2010)
  6. Gast, Holger: Reasoning about memory layouts (2010)
  7. Gidenstam, Anders; Papatriantafilou, Marina; Tsigas, Philippas: NB\textttmalloc: Allocating memory in a lock-free manner (2010)
  8. Gil, Joseph (Yossi); Lenz, Keren: Simple and safe SQL queries with \textttC++ templates (2010)
  9. Järvi, Jaakko; Freeman, John: C++ lambda expressions and closures (2010)
  10. Järvi, Jaakko; Marcus, Mat; Smith, Jacob N.: Programming with C++ concepts (2010)
  11. Mireles James, J. D.: Adaptive set-oriented computation of topological horseshoe factors in area and volume preserving maps (2010)
  12. Pirkelbauer, Peter; Parent, Sean; Marcus, Mat; Stroustrup, Bjarne: Dynamic algorithm selection for runtime concepts (2010)
  13. Pirkelbauer, Peter; Solodkyy, Yuriy; Stroustrup, Bjarne: Design and evaluation of C++ open multi-methods (2010)
  14. Dévai, G.; Pataki, N.: A tool for formally specifying the (C++) standard template library (2009)
  15. Hanniel, Iddo; Elber, Gershon: Computing the Voronoi cells of planes, spheres and cylinders in (\mathbbR^3) (2009)
  16. Heinzl, René; Schwaha, Philipp; Stimpfl, Franz; Selberherr, Siegfried: GUIDE: parallel library-centric application design by a generic scientific simulation environment (2009)
  17. Pataki, Norbert; Porkoláb, Zoltán; Csizmás, Edit: Why code complexity metrics fail on the C++ standard template library (2009)
  18. Bastian, P.; Blatt, M.; Dedner, A.; Engwer, C.; Klöfkorn, R.; Kornhuber, R.; Ohlberger, M.; Sander, O.: A generic grid interface for parallel and adaptive scientific computing. II: Implementation and tests in DUNE (2008)
  19. Chaoji, Vineet; Hasan, Mohammad Al; Salem, Saeed; Zaki, Mohammed J.: An integrated, generic approach to pattern mining: data mining template library (2008) ioport
  20. Finocchi, Irene; Italiano, Giuseppe F.: Sorting and searching in faulty memories (2008)