binary instrumentation

POLLUX: Safely Upgrading Dependent Application Libraries