Running Safe Leakage Checks