Constraint-Based Program Analysis (Abstract)