Detecting software defects in telecom applications through lightweight static analysis: A war story

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

Volumn 3302, Issue , 2004, Pages 91-106

  Lindahl, Tobias ^a   Sagonas, Konstantinos ^a  

^a UPPSALA UNIVERSITY   (Sweden)

Author keywords

Compile time program checking; Defect detection; Software development; Software quality assurance; Software tools

Indexed keywords

APPLICATION PROGRAMS; CODES (SYMBOLS); COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SOFTWARE; COMPUTER SOFTWARE SELECTION AND EVALUATION; DEFECTS; JAVA PROGRAMMING LANGUAGE; LEGACY SYSTEMS; QUALITY ASSURANCE; SOFTWARE DESIGN; SOFTWARE ENGINEERING; SOFTWARE RELIABILITY;

DEFECT DETECTION; HIGH-RELIABILITY SYSTEMS; PROGRAM CHECKING; SOFTWARE DEFECTS; SOFTWARE DEVELOPMENT AND MAINTENANCES; SOFTWARE QUALITY ASSURANCE; TELECOM APPLICATIONS; USER ANNOTATIONS;

STATIC ANALYSIS;

EID: 32044471874     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30477-7_7     Document Type: Article

References (18)

1. J. Armstrong, R. Virding, C. Wikström, and M. Williams. Concurrent Programming in Erlang. Prentice Hall Europe, Herfordshire, Great Britain, second edition, 1996.
2. S. Blau and J. Rooth. AXD 301 - A new generation ATM switching system. Ericsson Review, 75(1):10-17, 1998.
3. R. Cytron, J. Ferrante, B.K. Rosen, M.N. Wegman, and F.K. Zadeck. Efficiently computing static single assignment form and the control dependence graph. ACM Trans. Prag. Lang. Syst., 13(4):451-190, Oct. 1991.
4. N. Dor, M. Rodeh, and M. Sagiv. CSSV: Towards a realistic tool for statically detecting all buffer overflows in C. In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, pages 155-167. ACM Press, June 2003.
5. D. Engler and M. Musuvathi. Static analysis versus software model checking for bug finding. In B. Steffen and G. Levi, editors, Verification, Model Checking, and Abstract Interpretation. Proceedings of the 5th International Conference, number 2937 in LNCS, pages 191-210. Springer, Jan. 2004.
6. D. Evans and D. Larochelle. Improving security using extensible lightweight static analysis. lEEE Software, 19(1):42-51, Jan./Feb. 2002.
7. R.B. Findler, J. Clements, C. Flanagan, M. Flatt, S. Krishnamurthi, P. Steckler, and M. Felleisen. DrScheme: A programming environment for Scheme. Journal of Functional Programming, 12(2): 159-182, Mar. 2002.
8. C. Flanagan, K.R.M. Leino, M. Lillibridge, G. Nelson, J.B. Saxe, and R. Stata. Extended static checking for Java. In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, pages 234-245. ACM Press, June 2002.
9. M.V. Hermenegildo, G. Puebla, F. Bueno, and P. López- García. Program development using abstract interpretation (and the Ciao system preprocessor). In R. Cousot, editor, Static Analysis: Proceedings of the 10th International Symposium, number 2694 in LNCS, pages 127-152, Berlin, Germany, June 2003. Springer.
10. E. Johansson, M. Pettersson, and K. Sagonas. HiPE: A High Performance Erlang system. In Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pages 32-43, New York, NY, Sept. 2000. ACM Press.
11. S. Marlow and P. Wadler. A practical subtyping system for Erlang. In Proceedings of the ACM SIGPLAN International Conference on Functional Programming, pages 136-149. ACM Press, June 1997.
12. P. Mishra and U.S. Reddy. Declaration-free type checking. In Proceedings of the Twelfth Annual ACM Symposium on the Principles of Programming Languages, pages 7-21. ACM Press, 1984.
13. S.S. Muchnick. Advanced Compiler Design & Implementation. Morgan Kaufman Publishers, San Fransisco, CA, 1997.
14. L. Naish, P.W. Dart, and J. Zobel. The NU-Prolog debugging environment. In A. Porto, editor, Proceedings of the Sixth International Conference on Logic Programming, pages 521-536. The MIT Press, June 1989.
15. S.-O. Nyström. A soft-typing system for Erlang. In Proceedings of ACM SIGPLAN Erlang Workshop, pages 56-71. ACM Press, Aug. 2003.
16. M. Pettersson, K. Sagonas, and E. Johansson. The HiPE/x86 Erlang compiler: System description and performance evaluation. In Z. Hu and M. Rodríguez-Artalejo, editors, Proceedings of the Sixth International Symposium on Functional and Logic Programming, number 2441 in LNCS, pages 228-244, Berlin, Germany, Sept. 2002. Springer.
17. U. Wiger, G. Ask, and K. Boortz. World-class product certification using Erlang. SIGPLAN Notices, 37(12):25-34, Dec. 2002.
18. A. Wright and R. Cartwright. A practical soft type system for Scheme. ACM Trans. Prag. Lang. Syst., 19(1):87-152, Jan. 1997.