Pointer Analysis

ISBN-13: 9781680830200 / Angielski / Miękka / 2015 / 86 str.

Yannis Smaragdakis; George Balatsouras

Opis

The goal of pointer analysis is to compute an approximation of the set of program objects that a pointer variable or expression can refer to. This text introduces and surveys pointer analysis techniques, with an emphasis on distilling the essence of common analysis algorithms.

Spis treści

1: Introduction 2: Core Pointer Analysis 3: Analysis of Realistic Languages 4: Context Sensitivity 5: Flow Sensitivity, Must-Analysis, and. Pointers 6: Conclusions. Acknowledgments. References.