Pointer Analysis

Introduces the most common modern approaches to pointer analysis, with an emphasis on distilling the essence of common analysis algorithms. The focus is on a declarative presentation of a common core of pointer analyses: algorithms are modelled as configurable, yet easy-to-follow, logical specifications.