search

sec-bit / adelaide

The SECBIT Static Analysis Extension to Solidity Compiler
https://secbit.io
GNU General Public License v3.0
19 stars 5 forks source link

在erc20-no-name/symbol/decimal中考虑合约继承 #3

Closed depedro closed 6 years ago

depedro commented 6 years ago

需要处理如下两种FP：

  1. 如果一个合约被另外一个合约继承，那么不需要报错
  2. 如果一个合约继承的合约定义了name/symbol/decimal，也不需要对这个合约报错

例子： https://etherscan.io/address/0xc15a399c4ea7815fe36857c9e290ee452a5d6b21#code

以上两个例子分别是1) StandardToken 2) BurnableCrowdsaleToken。

depedro commented 6 years ago

Fixed in commit 778b23e.