Static slicing of threaded programs

被引：75

作者：

Krinke, J ^{[1
]}

机构：

[1] TU Braunschweig, Abt Softwaretechnol, Braunschweig, Germany

来源：

ACM SIGPLAN NOTICES | 1998年 / 33卷 / 07期

关键词：

D O I：

10.1145/277633.277638

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Static program slicing is an established method for analyzing sequential programs, especially for program understanding, debugging and testing. Until now, there was no slicing method for threaded programs which handles interference correctly. We present such a method which also calculates more precise static slices. This paper extends the well known structures of the control flow graph and the program dependence graph for threaded programs with interference. This new technique does not require serialization of threaded programs.

引用

页码：35 / 42

页数：8