
Pointer Analysis
now publishers Inc
1st Edition
Published on 21. April 2015
Book
Paperback/Softback
86 pages
978-1-68083-020-0 (ISBN)
Description
Pointer analysis is a fundamental static program analysis with a rich literature and wide applications. 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 monograph introduces and surveys the most common modern approaches to pointer analysis, with an emphasis on distilling the essence of common analysis algorithms. With an eye towards ease of exposition and concreteness, the presentation aspires to be rather more tutorial and hands-on than other surveys of the pointer analysis area. To this end, the focus is on a declarative presentation of a common core of pointer analyses: algorithms are modeled as configurable, yet easy-to-follow, logical specifications. The specifications serve as a starting point for a broader discussion of the literature, as independent threads spun from the declarative model.
More details
Series
Language
English
Place of publication
Hanover
United States
Target group
College/higher education
Dimensions
Height: 234 mm
Width: 156 mm
Thickness: 5 mm
Weight
135 gr
ISBN-13
978-1-68083-020-0 (9781680830200)
DOI
10.1561/2500000014
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Content
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.