Data Flow Analysis - Theory and Practice

@inproceedings{Khedker2009DataFA,
  title={Data Flow Analysis - Theory and Practice},
  author={Uday P. Khedker and Amitabha Sanyal and Bageshri Sathe},
  year={2009}
}
This work provides an in-depth treatment of data flow analysis technique. Apart from including interprocedural data flow analysis, this book is the first to extend detailed coverage of analysis beyond bit vectors. Supplemented by numerous examples, it equips readers with a combination of mutually supportive theory and practice, presenting mathematical foundations and including study of data flow analysis implementation through use of the GNU Compiler Collection (GCC). Readers can experiment… CONTINUE READING

Similar Papers

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 88 CITATIONS

Scratchpad Sharing in GPUs

VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

2 1 Ju l 2 01 6 A Scratchpad Sharing in GPUs

VIEW 3 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Generalizing the Liveness Based Points-to Analysis

VIEW 4 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Test-to-code traceability: Why and how?

  • 2013 IEEE Jordan Conference on Applied Electrical Engineering and Computing Technologies (AEECT)
  • 2013
VIEW 8 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Evaluation of Novel Approaches to Software Engineering

  • Communications in Computer and Information Science
  • 2012
VIEW 5 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Holistic optimization by prefetching query results

VIEW 5 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Liveness-Based Pointer Analysis

VIEW 6 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Lazy Pointer Analysis

VIEW 7 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

2009
2019

CITATION STATISTICS

  • 13 Highly Influenced Citations

  • Averaged 10 Citations per year from 2017 through 2019