Known Vulnerabilities in gmp (Red Hat package)