Precise dynamic analysis for slack elasticity: adding buffering without adding bugs