KIT | KIT-Bibliothek | Impressum

Static Slicing of Threaded Programs

Krinke, Jens

Abstract:
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 wellknown 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.


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Jahr 1998
Sprache Englisch
Identifikator ISBN: 1-58113-055-4
ISSN: 0362-1340
KITopen ID: 1000017628
Erschienen in Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, Montreal, Quebec, Canada
Verlag ACM Press, New York (NY)
Seiten 35 - 42
Serie SIGPLAN notices ; 33,7
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page