Precise slicing of concurrent programs: An evaluation of static slicing algorithms for concurrent programs

Automated Software Engineering

Volumn 16, Issue 2, 2009, Pages 197-234

  Giffhorn, Dennis ^a   Hammer, Christian ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

Concurrency; Program analysis; Slicing; Threads

Indexed keywords

COMPUTATION COSTS; CONCURRENCY; CONCURRENT PROGRAMS; EFFICIENT ALGORITHMS; EMPIRICAL EVALUATIONS; INTER PROCEDURALS; ORIGINAL ALGORITHMS; PROGRAM ANALYSIS; RECURSION; RECURSIVE PROCEDURES; SEQUENTIAL PROGRAMS; SLICING; STATIC SLICING ALGORITHMS; THREADS; WORST-CASE COMPLEXITY;

ALGORITHMS; COMPUTER SOFTWARE;

CONCURRENCY CONTROL;

EID: 65049088150     PISSN: 09288910     EISSN: 15737535     Source Type: Journal    
DOI: 10.1007/s10515-009-0048-x     Document Type: Article

References (29)

1. Bates, S., Horwitz, S.: Incremental program testing using program dependence graphs. In: Proc. POPL '93, pp. 384-396. ACM, New York (1993)
2. Binkley, D., Harman, M.: A survey of empirical results on program slicing. In: Zelkowitz, M. (ed.) Advances in Computers, vol. 62, pp. 105-178. Academic Press, San Diego (2004)
3. D. Binkley M. Harman J. Krinke 2007 Empirical study of optimization techniques for massive slicing ACM Trans. Program. Lang. Syst. 30 1 3
4. Z. Chen B. Xu 2001 Slicing concurrent Java programs ACM SIGPLAN Not. 36 4 41 47
5. Chen, Z., Xu, B., Yang, H., Liu, K., Zhang, J.: An approach to analyzing dependency of concurrent programs. In: APAQS '00: Proceedings of the First Asia-Pacific Conference on Quality Software, pp. 39-43 (2000)
6. Cheng, J.: Slicing concurrent programs. In: Automated and Algorithmic Debugging. Lecture Notes in Computer Science, vol. 749, pp. 223-240. Springer, Berlin (1993)
7. Cheng, J.: Dependence analysis of parallel and distributed programs and its applications. In: International Conference on Advances in Parallel and Distributed Computing, pp. 395-404 (1997)
8. Giffhorn, D., Hammer, C.: An evaluation of slicing algorithms for concurrent programs. In: 7th IEEE Int. Work. Conf. on Source Code Analysis and Manipulation, pp. 17-26 (2007)
9. J. Gosling B. Joy G. Steele G. Bracha 2005 The Java Language Specification 3 Addison Wesley Reading http://java.sun.com/docs/books/jls/ Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Specification, 3rd edn. Addison Wesley, Reading (2005). http://java.sun.com/docs/books/jls/
10. Hammer, C., Snelting, G.: An improved slicer for Java. In: Workshop on Program Analysis for Software Tools and Engineering (PASTE'04), pp. 17-22 (2004)
11. Hammer, C., Snelting, G.: Flow sensitive, context sensitive, and object sensitive information flow control based on program dependence graphs. Technical Report 2008-16, November 2008, Fakultät für Informatik, Universität Karlsruhe (TH), Germany. http://digbib.ubka.uni-karlsruhe.de/ volltexte/1000009849
12. Hatcliff, J., Corbett, J.C., Dwyer, M.B., Sokolowski, S., Zheng, H.: A formal study of slicing for multi-threaded programs with JVM primitives. In: Static Analysis Symposium. Lecture Notes in Computer Science, vol. 1694, pp. 1-18. Springer, Berlin (1999)
13. S.B. Horwitz T.W. Reps D. Binkley 1990 Interprocedural slicing using dependence graphs ACM Trans. Program. Lang. Syst. 12 1 26 60
14. Kamkar, M., Shahmehri, N., Fritzson, P.: Bug localization by algorithmic debugging and program slicing. In: Proceedings of International Workshop on Programming Language Implementation and Logic Programming. Lecture Notes in Computer Science, vol. 456, pp. 60-74. Springer, Berlin (1990)
15. Krinke, J.: Static slicing of threaded programs. In: PASTE '98, pp. 35-42 (1998)
16. Krinke, J.: Evaluating context-sensitive slicing and chopping. In: International Conference on Software Maintenance, pp. 22-31 (2002)
17. Krinke, J.: Context-sensitive slicing of concurrent programs. In: Proc. ESEC/FSE'03, pp. 178-187 (2003)
18. Müller-Olm, M., Seidl, H.: On optimal slicing of parallel programs. In: STOC 2001 (33th ACM Symposium on Theory of Computing), pp. 647-656 (2001)
19. Nanda, M.G., Ramesh, S.: Slicing concurrent programs. In: ISSTA 2000, pp. 180-190 (2000)
20. M.G. Nanda S. Ramesh 2006 Interprocedural slicing of multithreaded programs with applications to Java ACM Toplas. 28 6 1088 1144
21. Naumovich, G., Avrunin, G.S., Clarke, L.A.: An efficient algorithm for computing MHP information for concurrent Java programs. In: Proc. ESEC/FSE '99, pp. 338-354. Springer, Berlin (1999)
22. Ottenstein, K.J., Ottenstein, L.M.: The program dependence graph in a software development environment. In: ACM Symposium on Practical Software Development Environments, pp. 177-184 (1984)
23. G. Ramalingam 2000 Context-sensitive synchronization-sensitive analysis is undecidable ACM Trans. Program. Lang. Syst. 22 2 416 430
24. Ruf, E.: Effective synchronization removal for Java. In: Programming Language Design and Implementation (PLDI), pp. 208-218 (2000)
25. Sharir, M., Pnueli, A.: Two approaches to interprocedural data flow analysis. In: Program Flow Analysis: Theory and Applications (1981)
26. M. Sridharan S. Fink R. Bodik 2007 Thin slicing ACM SIGPLAN Not. 42 6 112 122
27. F. Tip 1995 A survey of program slicing techniques J. Program. Lang. 3 3 121 189
28. M. Weiser 1984 Program slicing IEEE Trans. Softw. Eng. 10 4 352 357
29. Zhao, J.: Slicing concurrent Java programs. In: Proceedings of the 7th IEEE International Workshop on Program Comprehension, pp. 126-133 (1999)