Introduction

Abstract

The objective of the first two parts was to introduce the foundations of SSA form and its use in different program analyses. The goal of the third part is to explain the need for extensions to SSA form to enable a larger class of program analyses. The extensions arise from the fact that many analyses need to make finer-grained distinctions between program points and data accesses than what can be achieved by vanilla SSA form. However, these richer flavours of extended SSA-based analyses still retain many of the benefits of SSA form (e.g., sparse data-flow propagation) that distinguish them from classical data-flow frameworks for the same analysis problems. This chapter is an introductory chapter for Part III.