program analysis

POLLUX: Safely Upgrading Dependent Application Libraries