slither

slither copied to clipboard

Identify Functions that use delegatecall and msg.data for Echidna Printer

3

### Describe the desired feature Echidna should be able to access implementation contracts via a proxy contract that utilizes delegatecall with msg.data. This will allow easier fuzzing on proxy contracts....

man715

add enum size in echidna printer export

1

If we give Echidna valid ranges for enum types, it will spend less time producing invalid calldata and possibly help reach greater coverage (at the very least in less runs)....

0xalpharush

### Describe the desired feature Following the steps provided under the issue number #1051 I was able to successfully install slither on macos m1. I added the installation steps to...

pedrommaiaa

### Describe the issue: In the example below a dot file is not generated for the addressToUnit256 function. It seems to because it is not located inside of a contract...

wilman-garcia-cb

[Bug]: Unchecked blocks are identified as checked

2

### Describe the issue: The `is_checked` [attribute](https://github.com/crytic/slither/blob/master/slither/core/declarations/function.py#L329-L338) does not return false for functions that have unchecked blocks ### Code example to reproduce the issue: ``` contract Test { function withdraw(address...

0xalpharush

Slither output as CSV format

1

### Describe the desired feature ## What's The Problem Slither output in the terminal can become nearly impossible to read if the contract being analyzed is large. In numerous cases...

mrthankyou

[Bug-Candidate]: Consider non-ASCII when source mapping

1

### Describe the issue: Hey! Just noticed that `source_mapping` will be misaligned when a `.sol` file containing non-ASCII is opened. Maybe "misaligned" isn't the correct phrasing as it depends on...

CodeGodz

[Bug-Candidate]: False positive on "Contract locking ether found"

2

### Describe the issue: The right way to transfer funds at the moment based on consensus is to use "call", yet "call" isn't supported by the [contracts-that-lock-ether](https://github.com/crytic/slither/wiki/Detector-Documentation#contracts-that-lock-ether)| detector, so it...

liron-navon

Whenever a contract type alias shadows a top-level type alias, the top-level alias is overwritten. Top level set here: https://github.com/crytic/slither/blob/5863c30747eee5440911fb21bb5cc396098a5c9a/slither/solc_parsing/slither_compilation_unit_solc.py#L317 Overwritten here: https://github.com/crytic/slither/blob/5863c30747eee5440911fb21bb5cc396098a5c9a/slither/solc_parsing/declarations/contract.py#L283 ## Test Case test.sol ``` type MyInt...

0xalpharush

from https://github.com/trailofbits/pip-audit/blob/main/.github/workflows/release.yml

0xalpharush