slither
slither copied to clipboard
crytic
Static Analyzer for Solidity and Vyper
Based on a recent exchange on [Twitter](https://twitter.com/pcaversaccio/status/1538889927622008832), I think it would be a good idea to clarify why the specific Solidity compiler versions are chosen as recommendations [here](https://github.com/crytic/slither/wiki/Detector-Documentation#recommendation-99): 
Hello guys, I'm getting following error when I just try to execute slither tool in my hardhat project: ``` slither . 'npx hardhat compile --force' running Generating typings for: 14...
### Describe the issue: UPDATE: (2) and (3) are resolved by using detector name "arbitrary-send", not "arbitrary-send-eth". That could be made more clear in the docs since it is titled...
### Describe the issue: The `too-many-digits` check is flagging the use of `bytes memory creationCode = type(BeaconProxy).creationCode;`. As no digits are involved in this code it shouldn't be flagged at...
### Describe the desired feature Slither only outputs reference urls in the txt output. Would it be possible to add the urls to the json output too? Thanks
Running the following variants, only the first path is excluded (paths specified are separated by commas like the help flag specified) `slither --exclude-informational --filter-paths node_modules,lib .` `slither --exclude-informational --filter-paths node_modules,lib...
### Describe the issue: The list of configuration file options is incomplete ### Code example to reproduce the issue: The config file options in the wiki are here: https://github.com/crytic/slither/wiki/Usage#configuration-file The...
### Describe the issue: This is probably related to #1173. Some detectors, like `delegatecall_in_loop`, crash the parser with some custom error cases. ### Code example to reproduce the issue: This...
### Describe the desired feature I would like to run slither to see low severity errors on demand. I have low severity errors ignored in my slither.config.json because I don't...
### Describe the issue: slither-check-upgradeability false positive with the immutable varible. ### Code example to reproduce the issue: /** *Submitted for verification at Etherscan.io on 2022-05-25 */ // SPDX-License-Identifier: LGPL-3.0-or-later...
