Making the usage of STL safe

IFIP Advances in Information and Communication Technology

Volumn 115, Issue , 2003, Pages 127-140

  Gregor, Douglas ^a   Schupp, Sibylle ^a  

^a Rensselaer Polytechnic Institute   (United States)

Author keywords

Algorithm specification; Standard template library (STL); Static program analysis; Symbolic loop analysis

Indexed keywords

C++ (PROGRAMMING LANGUAGE);

DEVELOPMENT TOOLS; LOOP ANALYSIS; STANDARD TEMPLATE LIBRARY; STATIC PROGRAM ANALYSIS;

STATIC ANALYSIS;

EID: 12444330321     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-0-387-35672-3_7     Document Type: Conference Paper

References (17)

1. ANSI-ISO-IEC. C++ Standard, ISO/IEC 14882: 1998, ANSI standards for information technology edition, 1998
2. C. Bauer, A. Frink, and R. Kreckel. Introduction to the GiNaC framework for symbolic computation within the C++ programming language. J. Symbolic Computation, 33(1): 1-12, 2002
3. W. Blume and R. Eigenmann. Symbolic range propagation. In Proc. of the 9th Inter. Parallel Processing Symposium, pages 357-363, April 1995
4. The Canvas project. http: I/www. research. ibm. com/menage/canvas/
5. Edison Design Group C++ front end. http: I/www. edg. com/
6. R. Ghiya and L. J. Hendren. Is it a tree, a dag, or a cyclic graph? A shape analysis for heap-directed pointers in C. In POPL, pages 1-15. ACM, January 1996
7. M. R. Haghighat and C. D. Polychronopoulos. Symbolic analysis for parallelizing compilers. ACM Transactions on Programming Languages and Systems, 18(4): 477-518, July 1996
8. B. McNamara andY. Smaragdakis. Static interfaces in C++. In First Workshop on C++ Template Programming, October 2000
9. S. Meyers. Effective STL: SO Specific Ways to Improve Your Use of the Standard Template Library. Addison-Wesley, 2001
10. D. R. Musser, G. J. Derge, and A. Saini. STL Tutorial and Reference Guide. C++ Programming with the Standard Template Library. Addison Wesley, 2nd edition, 2001
11. G. Ramalingam, A. Warshavsky, J. H. Field, and M. Sagiv. Deriving specialized heap analyses for verifying component-client conformance. Research Report RC22145, IBM Research Division, August 2001
12. M. Sagiv, T. Reps, and R. Wilhelm. Solving shape-analysis problems in languages with destructive updating. In Symposium on Principles of Programming Languages, pages 16-31. Association for Computing Machinery, January 1996
13. J. Siek and A. Lumsdaine. Concept checking: Binding parametric polymorphism in C++. In First Workshop on C++ Template Programming, October 2000
14. A. A. Stepanov and M. Lee. The Standard Template Library. Technical Report HPL-95-11, Hewlett Packard, November 1995
15. T. L. Veldhuizen and D. Gannon. Active libraries: Rethinking the roles of compilers and libraries. In Proceedings of the SIAM Workshop on Object Oriented Methods for Inter-opemble Scientific and Engineering Computing (00'98). SIAM Press, 1998
16. J. Willcock, J. Siek, and A. Lumsdaine. Caramel: A concept representation system for generic programming. In Second Workshop on C++ Template Programming, October 2001
17. L. Zolman. An STL error message decryptor for Visual C++. C/C++ User's Journal, July 2001