Checking cleanness in linked lists

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1824 LNCS, Issue , 2000, Pages 115-135

  Dor, Nurit ^a   Rodeh, Michael ^b   Sagiv, Mooly ^a  

^a TEL AVIV UNIVERSITY   (Israel)

^b IBM HAIFA RESEARCH LAB   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

ERRORS; STATIC ANALYSIS; C (PROGRAMMING LANGUAGE);

C PROGRAMS; FALSE ALARMS; MEMORY ERROR; MEMORY LEAKS; SINGLY-LINKED LIST;

C (PROGRAMMING LANGUAGE); ALGORITHMS;

EID: 84906091691     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45099-3_7     Document Type: Conference Paper

References (29)

1. L. O. Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, Univ. of Copenhagen, May 1994
2. T.M. Austin, S.E. Breach, and G.S. Sohi. Efficient detection of all pointer and array access errors. In SIGPLAN Conf. on Prog. Lang. Design and Impl. ACM Press, 1994
3. D.R. Chase, M. Wegman, and F. Zadeck. Analysis of pointers and structures. In SIGPLAN Conf. on Prog. Lang. Design and Impl., pages 296-310, New York, NY, 1990. ACM Press
4. P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In Symp. on Princ. of Prog. Lang., pages 269-282, New York, NY, 1979. ACM Press
5. N. Dor, M. Rodeh, and M. Sagiv. Detecting me mory errors via static pointer analysis. In Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'98), pages 27-34, June 1998
6. Available at "http://www.math.tau.ac.il/? nurr/paste98.ps.gz " . 116 6. Cop. Digital Equipment. Extended static checking. Available at "http://www.research.digital.com/SRC/esc/Esc.html", 1998
7. D. Evans. Static detection of dynamic memory errors. In SIGPLAN Conf. on Prog. Lang. Design and Impl., 1996. Available at "http://www.cs.virginia. edu/evans/pldi96-abstract.html
8. J. Field, G. Ramalingam, and F. Tip. Parametric program slicing. In ACM Symp. on Princ. of Prog. Lang., pages 379-392, January 1995
9. P. Fradet, R. Gaugne, and D. Ḿetayer. Static dete ction of pointer errors: an axiomatisation and a checking algorithm. In Proc. European Symposium on Programming, ESOP'96 , LNCS, 1996
10. R. Ghiya and L. Hendren. Putting pointer analysis to work. In Symp. on Princ. of Prog. Lang., New York, NY, 1998. ACM Press
11. S. Horwitz and T. Reps. The use of program dependence graphs in software engineering. In Proceedings of the Fourteenth International Conference on Softw are Engineering, pages 392-411. ACM, New York, May 1992
12. D. Jackson. Aspect, an economical bug detector. In Proceedings of the 13th International Conference on Software Engineering, pages 13-22, May 1994
13. J.L. Jensen, M.E. Joergensen, N.Klarlund, and M.I. Schwartzbach. Automatic verification of pointer programs using monadic second-order logic. In SIGPLAN Conf. on Prog. Lang. Design and Impl., 1997
14. N.D. Jones and S.S. Muchnick. Flow analysis and optimization of Lisp-like structures. In S.S. Muchnick and N.D. Jones, editors, Program Flow Analysis: Theory and Applications, chapter 4, pages 10 2-131. Prentice-Hall, Englewood Cliffs, NJ, 1981
15. Florian Martin. PAG-an efficient program analyzer generator. International Journal on Software Tools for Technology Transfer, 2(1):46-67, 1998.
16. Steven Muchnick. Advanced Compiler Design Implementation. Morgan Kaufmann, 1997.
17. F. Nielson, H. R. Nielson, and C. L. Hankin. Principles of Program Analysis. Springer, 1999
18. Cop. Parasoft. Insure++. Available at " http://www.parasoft.com/ " , 1999
19. Cop. Prefixco. Prefix automated code reviewer. Available at " http://www.prefixco.com/" , 1999
20. M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. Tech. Rep. TR-1383, Comp. Sci. Dept., Univ. of Wisconsin, Madison, WI, July 1998. Available at "http://www.cs.wisc.edu/wpis/papers/parametric.ps
21. M. Sagiv, T. Reps, and R. Wilhelm. Solving shape-analysis problems in languages with destructive updating. Trans. on Prog. Lang. and Syst., 20(1):1-50, January 1998
22. M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. In Symp. on Princ. of Prog. Lang., 1999. Available at " http://www.cs.wisc.edu/wpis/papers/popl99.ps"
23. G. Sander. Graph layout through the vcg tool. Graph Drawing, DIMACS International Workshop GD'94, pages 194-205, 1995
24. M. Shapiro and S. Horwitz. Fast and accurate flow-insensitive points-t o analysis. In Symp. on Princ. of Prog. Lang., pages 1-14, 1997
25. M. Sharir and A. Pnueli. Two approaches to interprocedural data flow analysis. In S.S. Muchnick and N.D. Jones, editors, Program Flow Analysis: Theory and Applications, chapter 7, pages 189-234. Prentice-Hall, Englewood Cliffs, NJ, 1981
26. J. Stransky. A lattice for abstract interpretation of dynamic (Lisp-like) structures. Inf. and Comp., 101(1):70-102, Nov. 1992
27. Reliable Systems. Icontract-desgin by contract. Available at " http://www.reliable-systems.com/" , 1999
28. Emilio Zapata. Automatic parallelization of irregular applications. In SPA99, 1999
29. B. Zorn and P. Hilfinger. A memory allocation profilers for c and lisp programs. Available at " ftp://gatekeeper.dec.com/pub/misc/mprof-3.0.tar. z" , 1991.