HOME | DEUTSCH | IMPRESSUM | KIT

Conference Papers: Efficient Path Conditions in Dependence Graphs

[robschink02icse]Torsten Robschink, Gregor Snelting, Efficient Path Conditions in Dependence Graphs, 24th International Conference of Software Engineering (ICSE), pp. 19--25, ACM, Orlando, Florida, USA, May 2002.

Abstract

Program slicing combined with constraint solving is a powerful tool for software analysis. Path conditions are generated for a slice or chop, which -- when solved for the input variables -- deliver compact "witnesses" for dependences or illegal influences between program points. In this contribution we show how to make path conditions work for large programs. Aggressive engineering, based on interval analysis and BDDs, is shown to overcome the potential combinatoric explosion. Case studies and empirical data will demonstrate the usefulness of path conditions for practical program analysis.

Download

  [PDF]   [DOI]

BibTeX

Authors at the institute

Department Head
Prof. Gregor Snelting
Former Staff Member
Dr. rer. nat. Torsten Robschink

Projects

Project
VALSOFT/Joana