Context-sensitive slicing of concurrent programs

Program slicing is a technique to identify statements that may influence the computations at other statements. Precise slicing has been shown to be undecidable for concurrent programs. This work presents the first context-sensitive approach to slice concurrent programs accurately. It extends the well known structures of the control flow graph and the (interprocedural) program dependence graph for concurrent programs with interference. This new technique does not require serialization or inlining. Categories and Subject Descriptors D.2.5 [Software Engineering]: Testing and Debugging; D.2.7 [Software Engineering]: Distribution, Maintenance, and Enhancement--Restructuring, reverse engineering, and reengineering Keywords program analysis, program slicing, context-sensitive, concurrency, parallelism General Terms Algorithms, Performance

• Type: Conference
• Year: 2003
• Where: SIGSOFT
• Authors: Jens Krinke
• Keywords: Concurrent Programs, Program Dependence Graph, Program Slicing, SIGSOFT 2003, Software Engineering