Program analysis

  • a better name for “object-sensitivity” might have been “allocation-site sensitivity”