Racer: Effective race detection using AspectJ

ISSTA'08: Proceedings of the 2008 International Symposium on Software Testing and Analysis 2008

Volumn , Issue , 2008, Pages 155-165

  Bodden, Eric ^a   Havelund, Klaus ^b  

^a MCGILL UNIVERSITY   (Canada)

^b CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Aspect oriented programming; Race detection; Runtime verification; Semantic pointcuts; Static analysis

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; COMPUTER SOFTWARE SELECTION AND EVALUATION; COMPUTERS; CONCURRENCY CONTROL; ERRORS; INFORMATION THEORY; LINGUISTICS; MILITARY OPERATIONS; NASA; SOFTWARE TESTING; VERIFICATION;

ASPECT-ORIENTED PROGRAMMING; ASPECT-ORIENTED PROGRAMMINGS; ASPECTJ; CONCURRENT PROGRAMMINGS; DATA RACES; EFFICIENT MONITORING; ERASER ALGORITHMS; JAVA THREADS; LANGUAGE EXTENSIONS; LARGE SOFTWARE SYSTEMS; MEMORY MODELS; NEW ALGORITHMS; POINTCUTS; PROGRAMMING ERRORS; RACE DETECTION; RACE DETECTIONS; RUNTIME VERIFICATION; SEMANTIC POINTCUTS;

JAVA PROGRAMMING LANGUAGE;

EID: 57449103441     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1390630.1390650     Document Type: Conference Paper

References (43)

1. R. Agarwal, L. Wang, and S. D. Stoller. Detecting potential deadlocks with static analysis and run-time monitoring. In Ur et al. [39], pages 191-207.
2. C. Allan, P. Avgustinov, A. S. Christensen, L. J. Hendren, S. Kuzins, O. Lhoták, O. de Moor, D. Sereni, G. Sittampalam, and J. Tibbie. Adding trace matching with free variables to AspectJ. In R. Johnson and R. P. Gabriel, editors, OOPSLA, pages 345-364. ACM. 2005.
3. T. Aotani and H. Masuhara. Compiling conditional pointcuts for user-level semantic pointcuts. In Software-Engineering Properties of Languages and Aspect Technologies (SPLAT), March 2005.
4. C. Artho, K. Havelund, and A. Biere. High-level data races. Software Testing, Verification and Reliability., 13(4):207 227, 2003.
5. C. Artho, K. Havelund, and A. Biere. Using block-local atomicity to detect stale-value concurrency errors. In F. Wang, editor, ATVA, volume 3299 of LNCS, pages 150-164. Springer, 2004.
6. P. Avgustinov, A. S. Christensen, L. Hendren, S. Kuzins, J. Lhoták. O. Lhotaacute;k, O. de Moor, D. Sereni, G. Sit tarmpalam, and J. Tibble. abc: An extensible AspectJ compiler. In AOSD conference, pages 87-98. ACM Press, 2005.
7. H. Barringer, A. Goldberg, K. Havelund, and K. Sen. Rule-based runtime verification. In B. Steffen and G. Levi, editors, VMCAI, volume 2937 of Lecture Notes in Computer Science, pages 44-57. Springer, 2004.
8. S. Bensalem, J.-C. Fernandez, K. Havelund, and L. Mounier. Confirmation of deadlock potentials detected by runtime analysis. In PADTAD '06: Proceeding of the 2006 workshop on Parallel and distributed systems: testing and debugging, pages 41-50, New York, NY, USA, 2006. ACM.
9. S. Bensalem and K. Havelund. Dynamic deadlock analysis of multi-threaded programs. In Ur et al. [39], pages 208-223.
10. E. Bodden, F. Forster, and F. Steimann. Avoiding infinite recursion with stratified aspects. In R. Hirschfeld, A. Polze, and R. Kowalczyk, editors, GI-Edition Lecture Notes in Informatics "NODe 2006 GSEM 2006", volume P-88, pages 49-64. Gesellschaft filr Informatik. Bonner Kollen Verlag, 2006.
11. E. Bodden and K. Havelund. Racer: Effective race detection using AspectJ (extended version). Technical Report abc-2008-1, http://www.aspectbench.org/, 05 2008.
12. E. Bodden, L. J. Hendren, and O. Lhoták. A staged static program analysis to improve the performance of runtime monitoring. In E. Ernst, editor, ECOOP, volume 4609 of Lecture Notes in Computer Science, pages 525-549. Springer, 2007.
13. E. Bodden, P. Lam, and L. Hendren. Static analysis techniques for evaluating runtime monitoring properties ahead-of-time. Technical Report abc-2007-6, http://www.aspectbench.org/, 11 2007.
14. G. P. Brat, D. Drusinsky, D. Giannakopoulou, A. Goldberg, K. Havelund, M. R. Lowry, C. S. Pasareanu, A. Venet, W. Visser, and R. Washington. Experimental evaluation of verification and validation tools on martian rover software. Formal Methods in System Design, 25(2-3):167-198, 2004.
15. E. Bruneton, R. Lenglet, and T. Coupaye. ASM: A code manipulation tool to implement adaptable systems. In Adaptable and Extensible Component Systems, Grenoble, France, November 2002. http://asm.objectweb.org.
16. F. Chen, T. F. Şerbǎnuţǎ, and G. Roşu. jPredictor: A predictive runtime analysis tool for Java. In International Conference on Software Engineering (ICSE '08). ACM press, 2008. To appear.
17. S. Cohen. Jtrek. Compaq. No longer maintained.
18. M. Dahm. BCEL. http://jakarta.apache.org/bcel.
19. M. d'Amorim and K. Havelund. Event-based runtime verification of Java programs. In WODA '05: Proceedings of the third inter-national 'workshop on Dynamic analysis, pages 1-7, New York, NY, USA, 2005. ACM Press.
20. M. Eichberg, M. Mezini. and K. Ostermann. Pointcuts as functional queries. In W.-N. Chin, editor, APLAS, volume 3302 of Lecture Notes in Computer Science, pages 366-381. Springer, 2004.
21. A. Eustace and A. Srivastava. ATOM: a flexible interface for building high performance program analysis tools. In Technical Conference Proceedings on USENIX 1995, pages 25-25, Berkeley, CA, USA, 1995. USENIX Association.
22. Y. Eytani, K. Havelund, S. D. Stoller, and S. Ur. Towards a framework and a benchmark for testing tools for multi-threaded programs: Research articles. Concurrency and, Computation: Practice and Experience, 19(3):267-279, 2007.
23. C. Flanagan and S. Freund. Atomizer: A dynamic atomicity checker for multithreaded programs. SIGPLAN Notices, 39(1):256-267, 2004.
24. B. Goetz. Java concurrency in practice. Addison Wesley, 2006.
25. A. Goldberg and K. Havelund. Instrumentation of Java bytecode for runtime analysis. In Fifth ECOOP Workshop on Formal Techniques for Java-like Programs (FTfJP'03), July 2003. Darmstadt, Germany.
26. J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java(TM) Language Specification. Addison-Wesley Professional, 2005.
27. R. L. Halpert, C. J. F. Pickett. and C. Verbrugge. Component-based lock allocation. In PACT'07: Proceedings of if he 16th International Conference on Parallel Architectures and Compilation Techniques, pages 353-364, Sept. 2007.
28. J. Harrow. Runtime checking of multithreaded applications "with visual threads. In K. Havelund, J. Penix, and W. Visser. editors, SPIN Model Checking and Software Verification, volume 1885 of Lecture Notes in Computer Science, pages 331-342. Springer, 2000. http://h30097.www3.hp.com/ dtk/visualthreads-ov.html.
29. K. Havelund. Using runtime analysis to guide model checking of Java programs. In SPIN Model Checking and Software Verification, volume 1885 of Lecture Notes in Computer Science, pages 245-264. Springer, 2000.
30. K. Havelund and G. Rosu. An overview of the runtime verification tool Java PathExplorer. Formal Methods in System Design, 24(2):189-215, 2004.
31. A. Kinneer, M. B. Dwyer, and G. Rothermel. Sofya: Supporting rapid development of dynamic program analyses for Java. In ICSE COMPANION '07: Companion to the proceedings of the 29th International Conference of Software Engineering, pages 51-52, Washington, DC, USA, 2007. IEEE Computer Society.
32. D. Lea. Concurrent Programming in Java: Design Principles and Patterns. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1996.
33. O. Lhoták and L. Hendren. Scaling Java points-to analysis using Spark. In G. Hedin, editor, Compiler Construction, 12th International, Conference, volume 2622 of LNCS, pages 153-169. Warsaw, Poland, April 2003. Springer.
34. G. C. Necula, S. McPeak, S. P. Rahul, and W. Weimer. CIL: Intermediate language and tools for analysis and transformation of C programs. In R. N. Horspool, editor, CC, volume 2304 of Lecture Notes in Computer- Science, pages 213-228. Springer, 2002.
35. R. O'Callahan and J.-D. Choi. Hybrid dynamic data race detection. In ACM SIGPLAN Symposium, on Principles and Practice of Parallel Programming (PPoPP'03), pages 167-178, 2003.
36. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: a dynamic data race detector for multithreaded programs. ACM Transactions on Computer-Systems, 15(4):391-411, 1997.
37. Soot website, http://www.sable.mcgill.ca/soot/.
38. V. Stolz and E. Bodden. Temporal assertions using AspectJ. Electr. Notes in Theor. Computer Science, 144(4): 109-124, 2006.
39. S. Ur, E. Bin, and Y. Wolfsthal, editors. Hardware and Software Verification and Testing, First- International Haifa. Verification Conference, Haifa, Israel, November 13-16, 2005, volume 3875 of Lecture Notes in Computer Science. Springer, 2006.
40. Valgrind. http://valgrind.org.
41. W. Visser, K. Havelund, G. P. Brat, S. Park, and F. Lerda. Model checking programs. In 15th IEEE International Conference on Automated Software Engineering, volume 10, pages 203-232, 2003.
42. C. von Praun and T. R. Gross. Object race detection. In OOPSLA, pages 70-82, 2001.
43. L. Wang and S. D. Stoller. Run-time analysis for atomicity. Electronic Notes in Theoretical Computer Science, 89(2), 2003.