Set-Constraint based Program Analysis

Abstract

This paper exhaustively surveys the set-constraint based approach to program analysis. The purpose of this paper is to put down the state-of-the-art knowledge in this field at one place using a common terminology. This paper also serves to make the connection clearer between seemingly disparate program analysis problems which have been using related techniques but different terminology.