SCStudio
SCStudio copied to clipboard
Making Smart Contract Development More Secure and Easier
`[DEBUG][2021-12-07 10:21:42,460]execute cmd: smartcheck -p ce36b4dc9cf14382acb943279e0fb167.sol [DEBUG][2021-12-07 10:21:42,462]execute cmd: docker run -v $(pwd):/project qspprotocol/oyente-0.4.25 -s /project/ce36b4dc9cf14382acb943279e0fb167.sol -j [DEBUG][2021-12-07 10:21:42,471]execute cmd: docker run -v $(pwd):/tmp ethereum/solc:0.8.1 --bin-runtime /tmp/ce36b4dc9cf14382acb943279e0fb167.sol 2>/dev/null | tail...

in the following contract, the field "number" can be overflow when use function setnumber. And in the report, it doesn't find this issue ``` contract HelloWorld { string name; uint8...
in the following contract, the field "number" can be overflow to 0 when use function setnumber. And in the report, it doesn't find this issue ``` contract HelloWorld { string...