Data flow analysis : theory and practice /: theory and practice. (©2009)

• Record Type: Book
• Further Information: Note: Uday P. Khedker, Amitabha Sanyal, Bageshri Karkare.
• Other Names: Khedker, Uday; Sanyal, Amitabha; Karkare, Bageshri
• Contents: PREFACE: An Introduction to Data Flow Analysis A Motivating Example Program Analysis: The Larger Perspective Characteristics of Data Flow Analysis Summary and Concluding Remarks SECTION I: Intraprocedural Data Flow Analysis Classical Bit Vector Data Flow Analysis Basic Concepts and Notations Discovering Local Data Flow Information Discovering Global Properties of Variables Discovering Global Properties of Expressions Combined May-Must Analyses Summary and Concluding Remarks Theoretical Abstractions in Data Flow Analysis Graph Properties Relevant to Data Flow Analysis Data Flow Framework Data Flow Assignments Computing Data Flow Assignments Complexity of Data Flow Analysis for Rapid Frameworks Summary and Concluding Remarks General Data Flow Frameworks Non-Separable Flow Functions Discovering Properties of Variables Discovering Properties of Pointers Liveness Analysis of Heap Data Modeling Entity Dependence Summary and Concluding Remarks Complexity of Iterative Data Flow Analysis Generic Flow Functions and Data Flow Equations Generic Round Robin Iterative Algorithm Complexity of Round Robin Iterative Algorithm Summary and Concluding Remarks Single Static Assignment Form as Intermediate Representation Introduction Construction of SSA Form Programs Destruction of SSA Summary and Concluding Remarks SECTION II: Interprocedural Data Flow Analysis Introduction to Interprocedural Data Flow Analysis A Motivating Example Program Representations for Interprocedural Analysis Modeling Interprocedural Data Flow Analysis Compromising Precision for Scalability Language Features Influencing Interprocedural Analysis Common Variants of Interprocedural Data Flow Analysis An Aside on Interprocedural Optimizations Summary and Concluding Remarks Functional Approach to Interprocedural Data Flow Analysis Side Effects Analysis of Procedure Calls Handling the Effects of Parameters Whole Program Analysis Summary and Concluding Remarks Value Based Approach to Interprocedural Data Flow Analysis Program Model for Value Based Approaches to Interprocedural Data Flow Analysis Interprocedural Analysis Using Restricted Contexts Interprocedural Analysis Using Unrestricted Contexts Bounding Unrestricted Contexts Using Data Flow Values The Motivating Example Revisited Summary and Concluding Remarks SECTION III: Implementing Data Flow Analysis Implementing Data Flow Analysis in GCC Specifying a Data Flow Analysis An Example of Data Flow Analysis Implementing the Generic Data Flow Analyzer gdfa Extending the Generic Data Flow Analyzer gdfa APPENDICES: An Introduction to GCC About GCC Building GCC Further Readings in GCC
• Publisher Details: Boca Raton, FL : CRC Press/Taylor & Francis
• Publication Date: 2009
• Copyright Date: 2009
• Extent: 1 online resource (xiii, 386 pages), illustrations
• Subjects: 004/.35; Compilers (Computer programs); Data flow computing; Software engineering; Computer software -- Verification; COMPUTERS -- Systems Architecture -- Distributed Systems & Computing; Compilers (Computer programs); Computer software -- Verification; Data flow computing; Software engineering; Electronic books
• Languages: English
• ISBNs: 9780849332517; 0849332516; 0849328802; 9780849328800
• Related ISBNs: 9780849328800
• Notes: Note: Includes bibliographical references (pages 371-278) and index.; Note: Print version record.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.