Skip to main content
Article thumbnail
Location of Repository

A unifying theory of control dependence and its application to arbitrary program structures

By Sebastian Danicic, Richard Barraclough, Mark Harman, John Howroyd, Akos Kiss and Michael Laurence

Abstract

There are several similar, but not identical, definitions of control dependence in the literature. These definitions are given in terms of control flow graphs which have had extra restrictions imposed (for example, end-reachability).\ud \ud We define two new generalisations of non-termination insensitive and non-termination sensitive control dependence called weak and strong control-closure. These are defined for all finite directed graphs, not just control flow graphs and are hence allow control dependence to be applied to a wider class of program structures than before.\ud \ud We investigate all previous forms of control dependence in the literature and prove that, for the restricted graphs for which each is defined, vertex sets are closed under each if and only if they are either weakly or strongly control-closed. Low polynomial-time algorithms for producing minimal weakly and strongly control-closed sets over generalised control flow graphs are given.\ud \ud This paper is the first to define an underlying semantics for control dependence: we define two relations between graphs called weak and strong projections, and prove that the graph induced by a set of vertices is a weak/strong projection of the original if and only if the set is weakly/strongly control-closed. Thus, all previous forms of control dependence also satisfy our semantics. Weak and strong projections, therefore, precisely capture the essence of control dependence in our generalisations and all the previous, more restricted forms. More fundamentally, these semantics can be thought of as correctness criteria for future definitions of control dependence

Publisher: Elsevier
Year: 2011
OAI identifier: oai:eprints.gold.ac.uk:6645
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://doi.org/10.1016/j.tcs.2... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.