CVEs have the formatting of `CVE-YEAR-IDNUMBER`. For example, the vulnerability that the famous malware **WannaCry** used was `CVE-2017-0144`.