IPA: Improving Predictive Analysis with Pointer Analysis

  Abstract