slither
slither copied to clipboard
crytic
Static Analyzer for Solidity and Vyper
### Describe the issue: Weird edge case, though this happens with `uint256[50] __gap` quite often. If there are instances of shadowed vars, slither-read-storage fails to differentiate them in the storage...
### Describe the desired feature Hello. I am solidity developer that uses brownie for deploying and testing smart contracts, so I and other brownie devs need to slither integrations with...
### Describe the issue: `dangerous-strict-equalities` Does not consider "else" statements or "or" statements: ### Code example to reproduce the issue: ```solidity function _safeTransfer(address token, address to, uint256 value) private {...
### Describe the issue: Slither crashes. Commands used: ``` yarn hardhat clean slither . ``` Software used: Yarn Berry (PnP), with old versions of hardhat, openzeppelin, etc. Slither version 0.8.3...
### Describe the desired feature Currently, the default report links to the wiki which has the name of the detector to ignore, I think the report itself should display the...
https://docs.soliditylang.org/en/v0.8.13/ir-breaking-changes.html#semantic-only-changes 0.8.13 allows to use of the new IR pipeline, but comes with risks due to semantics changes. We should create detectors to help developers to review if they can...
### Describe the desired feature We could allow the tool to build a diff made by a transaction. The idea is coming from https://github.com/banteg/storage-layout (thanks to @banteg)
### Describe the desired feature We can make solc-select mandatory for slither-read-storage
### Describe the issue: The contract shown below has a reference variable for the selector. I believe it should be a temporary variable. ### Code example to reproduce the issue:...
