An efficient general iterative algorithm for dataflow analysis

DOI10.1007/BF00282621MaRDI QIDQ1088400zbMATH OpenOpenAlexFDO

Authors Susan Horwitz, Alan Demers, Tim Teitelbaum

Publication date 1987

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00282621

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Review text

Existing iterative algorithms for global dataflow analysis have demonstrable shortcomings; either they can be used only for a limited class of problems or they are needlessly inefficient in some cases. We review several algorithms, pointing out weaknesses and develop a new algorithm that can be used for a wide class of problems and has a runtime that compares favorably to runtimes of existing algorithms.

Recommendations

• Using locality of flow in dataflow analyses.
• scientific article; zbMATH DE number 2087560
• Efficient dataflow analysis of logic programs
• Precise interprocedural dataflow analysis with applications to constant propagation
• Newtonian program analysis

Cited in

(14)

• Dataflow analysis of array and scalar references
• Fuzzy array dataflow analysis
• A fine-grained data-flow analysis framework
• An efficient bitwise algorithm for intra-procedural data-flow testing coverage
• scientific article; zbMATH DE number 3907743 (Why is no real title available?)
• scientific article; zbMATH DE number 4045122 (Why is no real title available?)
• scientific article; zbMATH DE number 2087560 (Why is no real title available?)
• Iterate, incrementalize, and implement: a systematic approach to efficiency improvement and guarantees
• Property-oriented expansion
• An even faster solver for general systems of equations
• Formalisation and implementation of an algorithm for bytecode verification of \@NonNull types
• Using locality of flow in dataflow analyses.
• A region analysis algorithm for the live variables problem
• Properties of data flow frameworks: A unified model

This page was built for publication: An efficient general iterative algorithm for dataflow analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1088400)