It could, but it's nondeterministic when the leak is detected. Additionally the detection is not fool proof. You can still leak something that won't be detected.