slither
slither copied to clipboard
Static Analyzer for Solidity and Vyper
### 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....
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)....
### 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...
### 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...
### 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...
### 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...
### 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...
### 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...
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...
from https://github.com/trailofbits/pip-audit/blob/main/.github/workflows/release.yml