search

ucsb-seclab / sailfish

Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds
47 stars 11 forks source link

import "@openzeppelin/contracts/..." #5

Closed DarrenChangJR closed 1 year ago

DarrenChangJR commented 1 year ago

When running Sailfish on contracts that import openzeppelin contracts, it crashes because Slither uses crytic-compile which compiles the contracts using solc, which doesn't resolve the above imports. However, crytic-compile allows for passing in --solc-remaps <prefix>=<target> slither <path_to_your_contract> --solc-remaps @openzeppelin=node_modules/@openzeppelin

How did you handle contracts with this import?

smartcontract-detect-yzu commented 11 months ago

I meet the same issue. How to solve this?