CVE-2018-13555: The mintToken function of a smart contract implementation for JaxBox, an Ethereum token, has an integer overflow that al | AI Sec Watch