First IEEE International Workshop on Source Code Analysis and Manipulation
Detecting Dead Statements for Concurrent Programs
Florence, Italy
November 10-December 10
ISBN: 0-7695-1387-5
With more and more concurrent programs being used in practice, technique and tools to analyze such programs are urgently needed. Due to the schedule, race conditions and synchronization among processes (threads), some statements may never be executed. Such statements are dead statements and have no influence on the programs except make them more difficult to analyze and understand. Therefore, we develop a data flow approach to detect dead statements for concurrent programs. In this method concurrent programs are represented by concurrent control flow graphs in a simple and precise way, and detecting rules are extracted by analyzing program behaviors. Based on these rules, we propose a dead statement-detecting algorithm.
Index Terms:
concurrent program flow graph, MHP algorithm, dead statements, rendezvous
Citation:
Zhenqiang Chen, Baowen Xu, Hongji Yang, "Detecting Dead Statements for Concurrent Programs," scam, pp.0067, First IEEE International Workshop on Source Code Analysis and Manipulation, 2001