Context-dependent flow-sensitive interprocedural dataflow analysis

Kurt R. Johmann, Sying Syang Liu, Sik-Sang Yau

Research output: Contribution to journalArticle

4 Citations (Scopus)

Abstract

This study proposes a new method for solving the dataflow problem. The method consists of special dataflow equations which are solved for a program flowgraph. In the flowgraph, separate sets called entry and body sets are maintained. The main advantages of this method include its precision and low complexity, and the fact that the presence of recursion does not affect the accuracy of the result.

Original languageEnglish (US)
Pages (from-to)177-202
Number of pages26
JournalJournal of Software Maintenance
Volume7
Issue number3
StatePublished - May 1995

Fingerprint

Data flow analysis

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Context-dependent flow-sensitive interprocedural dataflow analysis. / Johmann, Kurt R.; Liu, Sying Syang; Yau, Sik-Sang.

In: Journal of Software Maintenance, Vol. 7, No. 3, 05.1995, p. 177-202.

Research output: Contribution to journalArticle

Johmann, Kurt R. ; Liu, Sying Syang ; Yau, Sik-Sang. / Context-dependent flow-sensitive interprocedural dataflow analysis. In: Journal of Software Maintenance. 1995 ; Vol. 7, No. 3. pp. 177-202.
@article{58a5eb621c8a4b97ac5a3891ae92bdd2,
title = "Context-dependent flow-sensitive interprocedural dataflow analysis",
abstract = "This study proposes a new method for solving the dataflow problem. The method consists of special dataflow equations which are solved for a program flowgraph. In the flowgraph, separate sets called entry and body sets are maintained. The main advantages of this method include its precision and low complexity, and the fact that the presence of recursion does not affect the accuracy of the result.",
author = "Johmann, {Kurt R.} and Liu, {Sying Syang} and Sik-Sang Yau",
year = "1995",
month = "5",
language = "English (US)",
volume = "7",
pages = "177--202",
journal = "Journal of software: Evolution and Process",
issn = "2047-7481",
publisher = "John Wiley and Sons Ltd",
number = "3",

}

TY - JOUR

T1 - Context-dependent flow-sensitive interprocedural dataflow analysis

AU - Johmann, Kurt R.

AU - Liu, Sying Syang

AU - Yau, Sik-Sang

PY - 1995/5

Y1 - 1995/5

N2 - This study proposes a new method for solving the dataflow problem. The method consists of special dataflow equations which are solved for a program flowgraph. In the flowgraph, separate sets called entry and body sets are maintained. The main advantages of this method include its precision and low complexity, and the fact that the presence of recursion does not affect the accuracy of the result.

AB - This study proposes a new method for solving the dataflow problem. The method consists of special dataflow equations which are solved for a program flowgraph. In the flowgraph, separate sets called entry and body sets are maintained. The main advantages of this method include its precision and low complexity, and the fact that the presence of recursion does not affect the accuracy of the result.

UR - http://www.scopus.com/inward/record.url?scp=0029306996&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0029306996&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:0029306996

VL - 7

SP - 177

EP - 202

JO - Journal of software: Evolution and Process

JF - Journal of software: Evolution and Process

SN - 2047-7481

IS - 3

ER -