This is why it's unethical for governments to use closed source software. Anything related to government functioning should be auditable.