properties icon indicating copy to clipboard operation
properties copied to clipboard

Create helpers for non standard and edge case of erc20

Open montyly opened this issue 1 year ago • 1 comments

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 to IERC20 object (or a similar name)
  • all_erc20_non_standard() returns ( IERC20[] memory) - returns all non-standard token deployed, and converted to IERC20 object (or a similar name)
  • all_erc20() returns ( IERC20[] memory) - returns all tokens deployed, and converted to IERC20 object (or a similar name)

montyly avatar Mar 27 '23 12:03 montyly