properties
properties copied to clipboard
Create helpers for non standard and edge case of erc20
Which would cover everything in https://github.com/crytic/building-secure-contracts/blob/master/development-guidelines/token_integration.md#erc20-tokens, plus other edge cases we are aware of
The idea would be to have helpers to ease the integration of erc20 edge case, like
import "@crytic/properties/contracts/util/erc20/erc20.sol";
Which would include :
- All the different ERC20
-
all_erc20_standard() returns ( IERC20[] memory)
- returns all standards token deployed, and converted toIERC20
object (or a similar name) -
all_erc20_non_standard() returns ( IERC20[] memory)
- returns all non-standard token deployed, and converted toIERC20
object (or a similar name) -
all_erc20() returns ( IERC20[] memory)
- returns all tokens deployed, and converted toIERC20
object (or a similar name)