-
Notifications
You must be signed in to change notification settings - Fork 83
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[Bug-Candidate]: Running Slither with --compile-force-framework hardhat
flag doesn't works while contract compiles with Hardhat
#570
Comments
Hi, thanks for the report! Can you confirm what happens if you run the following?
|
Does |
I had a look locally, the paths generated on the Hardhat artifacts seem to be a bit odd, in particular the ones for forge-std/console.sol. You can work around the issue meanwhile by running the following from the repo root |
Describe the issue:
Repo: Steadefi
The repository includes two framework files: Hardhat and Foundry.
Goal: My goal is to always compile such repositories using Hardhat and provide the artifacts to Slither, making it mandatory for slither to use Hardhat artifacts exclusively.
Where I need Help?: When running slither with
--compile-force-framework hardhat
slither runs into error, but with default Foundry (no flag provided) works flawlessly. I need to run it using HH artifacts.The project compiles with hardhat:
npx hardhat compile --force
. |forge build
also works.Used tool: Slither
command try 1:
slither . --ignore-compile --filter-paths \.t\.sol$,\.s\.sol$ --compile-force-framework hardhat
| fails with error:ERROR:Slither:Unable to compile all targets.
command try 2:
slither . --filter-paths \.t\.sol$,\.s\.sol$ --compile-force-framework hardhat
| fails with error:ERROR:Slither:Unable to compile all targets.
command try 3:
slither . --filter-paths \.t\.sol$,\.s\.sol$
| works with foundry as default.command try 4:
slither . --filter-paths \.t\.sol$,\.s\.sol$ --compile-force-framework hardhat --exclude-dependencies
| fails with error:ERROR:Slither:Unable to compile all targets.
command try 5:
slither . --filter-paths \.t\.sol$,\.s\.sol$ --hardhat-artifacts-directory ./artifacts --exclude-dependencies --ignore-compile
| fails with error:ERROR:Slither:Unable to compile all targets.
Code example to reproduce the issue:
Repo: Steadefi
Version:
python --version
node --version
npm --version
yarn --version
npx hardhat --version
forge --version
slither --version
Relevant log output:
The text was updated successfully, but these errors were encountered: