crytic / crytic/properties

Create helpers for non standard and edge case of erc20

Open
#20 1 comment 0 reactions 0 assignees View on GitHub
Dominant language
Solidity
Stars
371
Forks
59
PR merge metrics
No merged PRs in 30d

Description

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

```solidity
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)

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.