[Feature-request]: Detect a wide variety of non-standard ERC20 tokens

crytic / properties

Pre-built security properties for common Ethereum operations

GNU Affero General Public License v3.0

276 stars 42 forks source link

[Feature-request]: Detect a wide variety of non-standard ERC20 tokens #23

Closed 0xPhaze closed 1 year ago

0xPhaze commented 1 year ago

Describe the desired feature or improvement

https://github.com/d-xo/weird-erc20#tokens provides a good list of non-standard ERC20 tokens, along with nice example contracts. I think we should aim to integrate these tokens as test-cases and be able to detect a good number of these.

montyly commented 1 year ago

Duplicate of https://github.com/crytic/properties/issues/20 I think