[Compilers] Scanning zksync projects with Slither

[0xGassin]

Team or Project

No response

Which compiler are you using?

• zksolc
• zkvyper

Which version of Solidity or Vyper?

0.8.*

zksolc/zkvyper version?

1.5.7

Explain the issue

Hi, I'm working on a project that takes in smart contracts and scans them with slither. I usually pass in a hardhat or foundry project directly into slither and it usually works, however I encountered a specific type of hardhat project which incorporated matterlabs zksync, and for some reason hardhat zksync projects compile differently to regular hardhat projects so slither can't find the files it needs in the artifacts directory to run the scan. I was trying to explore some options on how I could work around this issue, for example to migrate the hardhat zksync project to a regular hardhat project structure, but I'm not sure if that would work because I'm assuming it would require the hardhat zksync mode. Another idea I had was to somehow find a way to generate the AST and pass that into slither. Any ideas? Perhaps there are other static analyzers that work on zksync projects?

Link to your repo?

No response

[0xGassin]

Just modify the hardhat.config file and set zksync to false.