How to use slither-check-erc in foundry project with mapping imports #1727
-
Repro Steps Environment: OSX M1 with slither 0.9.2 and forge 0.2.0 (0453ac8 2023-02-28T00:14:39.246801Z)
Issue does not occur with the |
Beta Was this translation helpful? Give feedback.
Replies: 2 comments
-
slither-check-erc uses two positional args: the first being the project directory and the second the contract name ( |
Beta Was this translation helpful? Give feedback.
-
thanks, this resolved the issue! |
Beta Was this translation helpful? Give feedback.
slither-check-erc uses two positional args: the first being the project directory and the second the contract name (
slither-check-erc project contractName
). I believe you should be able to runslither-check-erc . IdRegistry
to compile the project and then analyzeIdRegistry
. I would also recommend checking out our ERC20 properties that you can fuzz with Echidna and/or Foundry https://github.com/crytic/properties.