A run-time verifier for Java programs