slither
slither copied to clipboard
crytic
Static Analyzer for Solidity and Vyper
Bumps [super-linter/super-linter](https://github.com/super-linter/super-linter) from 4.9.2 to 6.6.0. Release notes Sourced from super-linter/super-linter's releases. v6.6.0 6.6.0 (2024-06-03) 🚀 Features support for POWERSHELL_CONFIG_FILE (#5674) (3f56c89) ⬆️ Dependency updates bundler: bump rubocop-performance in /dependencies...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
We noticed that slither-mutate was using Python 3.10 only syntax, but this was never caught in the CI tests. This PR fixes this issue and add some test to exercise...
### Describe the desired feature Can we add docs to work with `slither-disable`? Right now if I make sure a line slither detected is OK, it's difficult to know how...
# The bug It is possible to import twice the same symbol in Solidity. This was uncovered with this pattern: With the following layout ``` original/X.sol upgradable/X.sol Counter.sol Counter2.sol ```...
# The problem When trying to fix the `unused-import` detector problem, I noticed that the detector was kind of slow. The profiler showed that running it on the `contracts-bedrock` took...
It was added in https://github.com/crytic/slither/pull/2392 but it is really slow and has some edge cases e.g. this is wrong ``` The following unused import(s) in src/universal/CrossDomainMessenger.sol should be removed: -import...
### Describe the issue: We're inheriting [EnumerableSetLib from Solady](https://github.com/Vectorized/solady/blob/main/src/utils/EnumerableSetLib.sol) and there's an issue generating SlithIR. It does a lot of nasty assembly optimizations, but it would be nice to still...
This PR updates @samczsun's work on https://github.com/crytic/slither/pull/627 to be compatible with addition of `SlitherCompilationUnit` and the addition of things like user defined value types and unchecked blocks. This greatly improves...