Program Analysis

POLLUX: Safely Upgrading Dependent Application Libraries