Quiet static analysis