Comments (2)
Found a way around it after digging a little bit.
If I first compile with Foundry and then run:
slither src/WETH9.sol --foundry-ignore-compile --compile-force-framework "Foundry" --foundry-out-directory "absoluteOutPath"
It works. But it's absolutely a bug.
from slither.
Hi! This is a known foundry bug, being tracked upstream here foundry-rs/foundry#7014
slither / crytic-compile query foundry config --json
to learn information such as the the EVM version, but foundry sometimes reports "paris" when it shouldn't. You should be able to work around the problem by setting an explicit evm_version
in your foundry.toml
Also related: #2287
from slither.
Related Issues (20)
- [Bug-Candidate]: Vyper interfaces with default argument crash Slither
- Failed to generate IR for L2UsdcBridge.onlyEOA. HOT 3
- [Bug-Candidate]: Vyper unpacking call's returned values crash Slither
- [False-Positive]: Vyper constant-states
- Record name location for declarations HOT 2
- filter `name-reused` to only run on Truffle projects
- [Bug-Candidate]: pip install fails when run against fresh install due to hexbytes version mismatch HOT 2
- API change: rename sons/father to next/predecessor in nodes
- [Bug]: MetaMorpho HOT 1
- [Bug]: detectors `unused-import`, `solc-version` and `pragma` ignore `filter_paths` config HOT 2
- Filter paths before parsing and lowering AST when possible HOT 2
- [Bug]: slither.core.expressions.new_contract.NewContract object's contract_name field is not str HOT 3
- [False-Positive]: `Block timestamp` and `Dangerous strict equalities` HOT 2
- add `detectors_to_include` which overrides `exclude_*`
- [Bug]: EVM printer fails for Abstract Contracts
- Monthly issue metrics report
- Regarding the issues during the slither detection process HOT 1
- [Bug- Candidate]: Failed to generate IR HOT 1
- [Bug]: ERROR:root:Top level EventDefinition not supported HOT 5
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from slither.