KIT | KIT-Bibliothek | Impressum | Datenschutz

Dynamic Path Conditions in Dependence Graphs

Hammer, Christian; Grimme, Martin; Krinke, Jens

Abstract:
We present a new approach combining dynamic slicing with path conditions in dependence graphs enhanced by dynamic information collected in a program trace. While dynamic slicing can only tell you that certain dependences have been holding during program execution, the combination with dynamic path conditions tells you why, as well.
The approach described here has been implemented for full ANSI-C. It uses the static dependence graph to produce a fine-grained variable and dependence trace of an executing program. This information can be exploited for dynamic slicing, yielding significantly smaller sets of statements than static slices, as well as for increasing precision of the path condition between two statements. Such a dynamic path condition contains explicit information about if and how one statement influenced the other. Dynamic path conditions work even when tracing information is incomplete or corrupted e.g. in case of a "damaged flight recorder".


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Jahr 2006
Sprache Englisch
Identifikator ISBN: 978-1-604-23108-3
KITopen-ID: 1000017614
Erschienen in Proceedings of the Workshop on Partial Evaluation and Program Manipulation : Charleston, South Carolina, January 9 - 10, 2006
Verlag ACM, New York (NY)
Seiten 58 - 67
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page