slither

slither copied to clipboard

False positive: costly-loop detector when evaluating an if statement with assignment and return

6

### Describe the issue: A costly-loop warning triggers when evaluating a loop that contains an if statement that includes both an assignment to a state variable followed by a return....

varunsrin

analyze internal calls after performing constant propagation

2

This detector currently under-approximates arbitrary from's in `transferFrom` as it does not consider internal calls and it's dependency analysis is not strict (if `msg.sender` is used anywhere in the contract...

0xalpharush

Fixed Pypi Markdown render

2

Added long_description_content_type value to have Pypi website correctly render Readme.md with markdown Fixes #1287

aranyadan

crytic_compile.platform.exceptions.InvalidCompilation: Unknown file: @openzeppelin/contracts-upgradeable/introspection/ERC165Upgradeable.sol

6

``` $ slither . 'npx hardhat compile --force' running Compiling 28 files with 0.7.6 Compilation finished successfully Creating Typechain artifacts in directory /home/proj/packages/contracts/typechain for target ethers-v5 Successfully generated Typechain artifacts!...

jacobrosenthal

[Bug-Candidate]: Missing modifier 'body'

1

### Describe the issue: When I run `slither .` in https://github.com/Vsevo1od/governance-crosschain-bridges I get ``` Missing modifier 'body' Missing modifier 'body' Missing function Variable not found: onlyEthereumGovernanceExecutor (context OptimismBridgeExecutor) Missing modifier...

Vsevo1od

This PR: * updates the Dockerfile base to Ubuntu Jammy (22.04) * separates build and install processes into two stages * replaces fixed solc binary with solc-select * adds a...

elopez

0.8.4 release

2

## Issues: - [x] https://github.com/crytic/slither/issues/1001 - [ ] https://github.com/crytic/slither/issues/1174 - [x] https://github.com/crytic/slither/issues/1173 - [x] https://github.com/crytic/slither/issues/1211 - [x] https://github.com/crytic/slither/pull/1227 - [ ] https://github.com/crytic/slither/issues/1019 Nice to have: - [ ] https://github.com/crytic/slither/issues/511 -...

0xalpharush

Getting "Error: running slither:" problem

2

### Describe the issue: I get this problem when I ran Echidna. The error shows below: May I know the possible reasons for Slither to output such kind of error?...

BarrySauce

### Describe the issue: Slither has *tons* of amazing properties on objects, and I recently found [beeprint](https://github.com/panyanyany/beeprint) to conveniently dump out all property information recursively to aid in understanding the...

plotchy

`TypeConversion` operations are missing. For example in ``` function addTest(uint8 a, uint32 b) external pure returns(uint32){ return a+b; } ``` `a+b` leads to implicit type conversion. We need to locate...

montyly