Integer Overflow in go-jose (CVE-2016-9123) | HOL Guard CVE