soohoio/VeriSmartBench

soohoio/VeriSmartBench

Releases0
Stars5
Benchmarks for Solidity Smart Contracts

CVE History

CVEPublishedCVSS v3CVSS v2
7.5 HIGH5 MEDIUM

The transfer and transferFrom functions of a smart contract implementation for Bittelux (BTX), an Ethereum token, have an integer overflow. NOTE: this has been disputed by a third party.

7.5 HIGH5 MEDIUM

The transfer and transferFrom functions of a smart contract implementation for ChuCunLingAIGO (CCLAG), an Ethereum token, have an integer overflow. NOTE: this has been disputed by a third party.

7.5 HIGH5 MEDIUM

The transfer and transferFrom functions of a smart contract implementation for Pandora (PDX), an Ethereum token, have an integer overflow. NOTE: this has been disputed by a third party.

7.5 HIGH5 MEDIUM

The transfer and transferFrom functions of a smart contract implementation for Easy Trading Token (ETT), an Ethereum token, have an integer overflow. NOTE: this has been disputed by a third party.