FEEDBACK-DIRECTED STATIC ANALYSIS