alpharush
Does this mean Agave's code is also being instrumented?
I'm having difficult replicating this. Would you be able to provide a repo or example that isn't missing the imports?
We are working to improve our support Yul to handle this case. In the meantime, you can use `--skip-assembly` to avoid hitting this error (at least it worked in a...
@strollinghome Are you on the latest version of Slither?
Declarative Program Analysis and Optimization https://inst.eecs.berkeley.edu/~cs294-260/sp24/
I agree. We could add an `--offline` flag if users want to opt out of downloading
Thanks, I will have to re-think my approach and consider how to seed the fuzzer more effectively
I believe this is the same issue as reported in https://github.com/crytic/slither/issues/1622 and blocked on an issue in Foundry https://github.com/foundry-rs/compilers/issues/246
I think this is missing a length check on `bugs_by_version` and should be something like `if version_number in bugs_by_version and len(bugs_by_version):` https://github.com/crytic/slither/blob/798c1f6387ea0ce94ff792292095e4f9d0075bc9/slither/detectors/attributes/incorrect_solc.py#L74
Yes you're welcome to work on this