slither
slither copied to clipboard
Static Analyzer for Solidity and Vyper
Makes slither return proper function names for `fallback()` and `receive()` instead of `()`. Implements the following suggestion: https://github.com/crytic/slither/issues/1331#issuecomment-1208637675 by @plotchy Closes #1331
Closes https://github.com/crytic/slither/issues/1091 Flag to exit with failure code if indicated severity is detected
- [ ] Update to the latest ubuntu jammy - [ ] Use solc-select - [ ] Test on M1 Related: https://github.com/crytic/slither/pull/938
we know which loop we're in when we're constructing the cfg, so let's link break/continue properly during cfg construction instead of doing the hacky "find which loop we're in after...
### Describe the issue: Executed command: `slither . --truffle-ignore-compile --exclude-dependencies --filter-paths test` Although I use the flag `--exclude-dependencies` the detector `Different pragma directives are used` is triggered. If I understand...
### Describe the issue: Testing parser on various types and noticed this particular type fails to be parsed. Type is used in solidity docs as `bool[2][] pairsOfFlags;` https://docs.soliditylang.org/en/latest/types.html?highlight=array#allocating-memory-arrays ### Code...
### Describe the issue: Slither with `slither . --print echidna` throws this error when the contract uses a library with fixed sized arrays. ### Code example to reproduce the issue:...
### Describe the issue: A problem with Slither when running it on projects with several compiler versions specified in config file. Every time I run into issues with python inside...
Missing space in string causes formatting issues when this detector is included in `--checklist` output. Included screenshot of broken formatting, with the last entry being manually fixed by adding the...
Hi, I have been experiencing slither just hanging for close to an hour ( haven't waited for longer) I get no output to figure out what is going on other...