On the Complexity of Flow-Sensitive Dataflow Analyses

  title={On the Complexity of Flow-Sensitive Dataflow Analyses},
  author={Robert Muth and Saumya K. Debray},
This paper attempts to address the question of why certain dataflow analysis problems can be solved efficiently, but not others. We focus on flow-sensitive analyses, and give a simple and general result that shows that analyses that require the use of relational attributes for precision must be PSPACE-hard in general. We then show that if the language constructs are slightly strengthened to allow a computation to maintain a very limited summary of what happens along an execution path, inter… CONTINUE READING
Highly Cited
This paper has 45 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 30 extracted citations

Similar Papers

Loading similar papers…