Finding synchronization defects in Java programs: Extended static analyses and code patterns

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2008, Pages 41-46

  Otto, Frank ^a   Moschny, Thomas ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

Anti pattern detection; Java; Lockset analysis; Synchronization defects

Indexed keywords

ANALYSIS TECHNIQUES; ANTI-PATTERN DETECTION; CODE-PATTERNS; COMMERCIAL SOFTWARE; COMPUTATIONAL OVERHEADS; CONCURRENT PROGRAMMING; ERROR PRONES; FALSE POSITIVE; JAVA; JAVA PROGRAM; LOCKSET ANALYSIS; OPEN SOURCES; POTENTIAL ERRORS; SYNCHRONIZATION MECHANISMS; SYNCHRONIZATION PROBLEM; WEB SERVERS;

ERRORS; JAVA PROGRAMMING LANGUAGE; MULTICORE PROGRAMMING; OPEN SYSTEMS; SOFTWARE ENGINEERING; SOFTWARE TESTING; SYNCHRONIZATION; USER INTERFACES;

STATIC ANALYSIS;

EID: 79959444848     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. C. Artho and A. Biere. Applying static analysis to large-scale, multi-threaded Java programs. In ASWEC '01: Proceedings of the 13th Australian Conference on Software Engineering, pages 68-75, Washington, DC, USA, 2001. IEEE Computer Society.
2. Eclipse, http://www.eclipse.org/.
3. O. Edelstein, E. Farchi, E. Goldin, Y. Nir, G. Ratsaby, and S. Ur. Framework for testing multi-threaded Java programs. Concurrency and Computation: Practice and Experience, 15(3-5):485-499, 2003.
4. D. Engler and K. Ashcraft. Racerx: effective, static detection of race conditions and deadlocks. SIGOPS Oper. Syst. Rev., 37(5):237-252, 2003. (Pubitemid 40929700)
5. E. Farchi, Y. Nir, and S. Ur. Concurrent bug patterns and how to test them. In IPDPS '03: Proceedings of the 17th International Symposium on Parallel and Distributed Processing, page 286.2, Washington, DC, USA, 2003. IEEE Computer Society.
6. Findbugs, http://findbugs.sourceforge.net/.
7. C. Flanagan, K. R. M. Leino, M. Lillibridge, G. Nelson, J. B. Saxe, and R. Stata. Extended static checking for Java. In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, pages 234-245, New York, NY, USA, 2002. ACM.
8. The Java ME Platform. http://java.sun.com/javame/.
9. Java Technology, http://java.sun.com/.
10. D. Lea. Concurrent Programming in Java. Second Edition: Design Principles and Patterns. Addison-Wesley, Boston, MA, USA, 2000.
11. O. Lhoták and L. Hendren. Scaling Java points-to analysis using Spark. In Compiler Construction, 12th International Conference, volume 2622 of LNCS, pages 153-169, Warsaw, Poland, April 2003. Springer.
12. L. Li and C. Verbrugge. A practical MHP information analysis for concurrent Java programs. In LCPC, pages 194-208, 2004.
13. Mobile Information Device Profile (MIDP). http://java.sun.com/products/ midp/.
14. G. Naumovich, G. S. Avrunin, and L. A. Clarke. An efficient algorithm for computing MHP information for concurrent Java programs. In ESEC / SIGSOFT FSE, pages 338-354, 1999.
15. F. Nielson, H. R. Nielson, and C. Hankin. Principles of Program Analysis. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 1999.
16. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: a dynamic data race detector for multi-threaded programs. In SOSP '97: Proceedings of the sixteenth A CM symposium on Operating systems principles, pages 27-37, New York, NY, USA, 1997. ACM.
17. Soot: a Java Optimization Framework. http ://www.sable.mcgill.ca/soot/.
18. Tornado. http://tornado.sourceforge.net/.
19. W. Visser, K. Havelund, G. Brat, and S. Park. Model checking programs. In ASE '00: Proceedings of the 15th IEEE international conference on Automated software engineering, page 3, Washington, DC, USA, 2000. IEEE Computer Society.
20. C. von Praun. Detecting Synchronization Defects in Multi-Threaded Object-Oriented Programs. PhD thesis, Swiss Federal Institute of Technology, Zurich, Switzerland, 2004.