Property testing for ERC tokens
If you develop ERC tokens using Open Zeppelin templates and unit tests, we have a lot of extras for you. We start by checking EIP compliance, but we add a custom security test suite for each standard (20, 4626, 721, 1155) so you gain additional confidence in the behavior of these smart contracts.
Reports
ERCx generates structured and detailed reports about its analysis of the token. Token properties are organized in categories, reflecting what they evaluate and their importance. The tool provides you with a comprehensive overview and detailed information of the token evaluated.
Summary of test results (by level):
Passed
Failed
Not tested
Optional
ABI27/28
27
1
minimal19/19
19
recommended5/5
5
desirable
Available for paid accounts.
AddOn
Available for paid accounts.
Fingerprint
Available for paid accounts.
Desirable properties
ERCx goes beyond the requirements prescribed in the standards as described in the Ethereum Improvement Proposals. ERCx includes important security properties designed by our security auditors, putting you on top of the standard.
| Result | Property |
|---|
IDE
ERCx is available as a VSCode plugin, letting you evaluate all properties on your token while you are still developing it. A violated property? Modify your token code and check again if the test passes.
Open API
ERCx offers a complete open API, letting you interact with our test suites from your favorite programming language or web interface. We also provide endpoints for you to create your lists of tokens and run test suites on the tokens of that list.
Generate ABI
ERCx lets you generate the Application Binary Interface of any contract deployed on mainnet and testnets. The provided JSON ABI lets you automatically interact with the contract.
"root"}
:
{5 Items"address"
:
string
"0xac3E018457B222d93114458476f3E3416Abbe38F"
"proxy"
:
[]0 Items"implementation_address"
:
string
"0xac3E018457B222d93114458476f3E3416Abbe38F"
"source"
:
string
"etherscan-Mainnet"
"abi"]
:
[42 Items0}
:
{3 Items"inputs"
:
[…
]2 Items"stateMutability"
:
string
"nonpayable"
"type"
:
string
"constructor"
1}
:
{3 Items"inputs"
:
[]0 Items"name"
:
string
"SyncError"
"type"
:
string
"error"
2}
:
{4 Items"anonymous"
:
bool
false
"inputs"
:
[…
]3 Items"name"
:
string
"Approval"
"type"
:
string
"event"
3}
:
{4 Items"anonymous"
:
bool
false
"inputs"
:
[…
]4 Items"name"
:
string
"Deposit"
"type"
:
string
"event"
4}
:
{4 Items"anonymous"
:
bool
false
"inputs"
:
[…
]2 Items"name"
:
string
"NewRewardsCycle"
"type"
:
string
"event"
5}
:
{4 Items"anonymous"
:
bool
false
"inputs"
:
[…
]3 Items"name"
:
string
"Transfer"
"type"
:
string
"event"
6}
:
{4 Items"anonymous"
:
bool
false
"inputs"
:
[…
]5 Items"name"
:
string
"Withdraw"
"type"
:
string
"event"
7}
:
{5 Items"inputs"
:
[]0 Items"name"
:
string
"DOMAIN_SEPARATOR"
"outputs"
:
[…
]1 Items"stateMutability"
:
string
"view"
"type"
:
string
"function"
8}
:
{5 Items"inputs"
:
[…
]2 Items"name"
:
string
"allowance"
"outputs"
:
[…
]1 Items"stateMutability"
:
string
"view"
"type"
:
string
"function"
9}
:
{5 Items"inputs"
:
[…
]2 Items"name"
:
string
"approve"
"outputs"
:
[…
]1 Items"stateMutability"
:
string
"nonpayable"
"type"
:
string
"function"
10}
:
{5 Items"inputs"
:
[]0 Items"name"
:
string
"asset"
"outputs"
:
[…
]1 Items"stateMutability"
:
string
"view"
"type"
:
string
"function"
11}
:
{5 Items"inputs"
:
[…
]1 Items"name"
:
string
"balanceOf"
"outputs"
:
[…
]1 Items"stateMutability"
:
string
"view"
"type"
:
string
"function"
12}
:
{5 Items"inputs"
:
[…
]1 Items"name"
:
string
"convertToAssets"
"outputs"
:
[…
]1 Items"stateMutability"
:
string
"view"
"type"
:
string
"function"
13}
:
{5 Items"inputs"
:
[…
]1 Items"name"
:
string
"convertToShares"
"outputs"
:
[…
]1 Items"stateMutability"
:
string
"view"
"type"
:
string
"function"
14}
:
{5 Items"inputs"
:
[]0 Items"name"
:
string
"decimals"
"outputs"
:
[…
]1 Items"stateMutability"
:
string
"view"
"type"
:
string
"function"
15}
:
{5 Items"inputs"
:
[…
]2 Items"name"
:
string
"deposit"
"outputs"
:
[…
]1 Items"stateMutability"
:
string
"nonpayable"
"type"
:
string
"function"
16}
:
{5 Items"inputs"
:
[…
]7 Items"name"
:
string
"depositWithSignature"
"outputs"
:
[…
]1 Items"stateMutability"
:
string
"nonpayable"
"type"
:
string
"function"
17}
:
{5 Items"inputs"
:
[]0 Items"name"
:
string
"lastRewardAmount"
"outputs"
:
[…
]1 Items"stateMutability"
:
string
"view"
"type"
:
string
"function"
18}
:
{5 Items"inputs"
:
[]0 Items"name"
:
string
"lastSync"
"outputs"
:
[…
]1 Items"stateMutability"
:
string
"view"
"type"
:
string
"function"
19}
:
{5 Items"inputs"
:
[…
]1 Items"name"
:
string
"maxDeposit"
"outputs"
:
[…
]1 Items"stateMutability"
:
string
"view"
"type"
:
string
"function"
20}
:
{5 Items"inputs"
:
[…
]1 Items"name"
:
string
"maxMint"
"outputs"
:
[…
]1 Items"stateMutability"
:
string
"view"
"type"
:
string
"function"
21}
:
{5 Items"inputs"
:
[…
]1 Items"name"
:
string
"maxRedeem"
"outputs"
:
[…
]1 Items"stateMutability"
:
string
"view"
"type"
:
string
"function"
22}
:
{5 Items"inputs"
:
[…
]1 Items"name"
:
string
"maxWithdraw"
"outputs"
:
[…
]1 Items"stateMutability"
:
string
"view"
"type"
:
string
"function"
23}
:
{5 Items"inputs"
:
[…
]2 Items"name"
:
string
"mint"
"outputs"
:
[…
]1 Items"stateMutability"
:
string
"nonpayable"
"type"
:
string
"function"
24}
:
{5 Items"inputs"
:
[]0 Items"name"
:
string
"name"
"outputs"
:
[…
]1 Items"stateMutability"
:
string
"view"
"type"
:
string
"function"
25}
:
{5 Items"inputs"
:
[…
]1 Items"name"
:
string
"nonces"
"outputs"
:
[…
]1 Items"stateMutability"
:
string
"view"
"type"
:
string
"function"
26}
:
{5 Items"inputs"
:
[…
]7 Items"name"
:
string
"permit"
"outputs"
:
[]0 Items"stateMutability"
:
string
"nonpayable"
"type"
:
string
"function"
27}
:
{5 Items"inputs"
:
[…
]1 Items"name"
:
string
"previewDeposit"
"outputs"
:
[…
]1 Items"stateMutability"
:
string
"view"
"type"
:
string
"function"
28}
:
{5 Items"inputs"
:
[…
]1 Items"name"
:
string
"previewMint"
"outputs"
:
[…
]1 Items"stateMutability"
:
string
"view"
"type"
:
string
"function"
29}
:
{5 Items"inputs"
:
[…
]1 Items"name"
:
string
"previewRedeem"
"outputs"
:
[…
]1 Items"stateMutability"
:
string
"view"
"type"
:
string
"function"
hidden 12 items…
Blog posts
Testing ERC-20 Tokens Part 1: An Arsenal for Bug Detection
by Runtime Verification & Certora
October 18th, 2023