slither

slither copied to clipboard

### Describe the issue: Printer vars-and-auth put duplicated message under the `Conditions on msg.sender ` section. Like this: ``` +----------+-------------------------+----------------------------------------------------------------------------------------+ | Function | State variables written | Conditions on msg.sender...

JinXJinX

# Issue Metrics | Metric | Average | Median | 90th percentile | | --- | --- | --- | ---: | | Time to first response | None |...

github-actions[bot]

### Describe the desired feature It seems that --sarif doesn't work for tools like `slither-check-erc` and `slither-check-upgradeability` ``` usage: slither-check-erc project contractName slither-check-erc: error: unrecognized arguments: --sarif /tmp/slither-result-IERC20-ERC20-2.json ```

shargon

Fix arguments passed to `func` callable in `get_all_storage_variables`

1

Running `slither-read-storage` with the `--variable-name` argument results in an exception: `TypeError: 'StateVariable' object is not subscriptable` Here is an example of reading the WETH balance for the Uniswap V4 PoolManager...

BowTiedDevil

### Describe the issue: This issue is related to #2296. Unsure why the error is being thrown though. ### Code example to reproduce the issue: https://github.com/OpenZeppelin/openzeppelin-confidential-contracts/actions/runs/15884480002/job/44792912877 ### Version: 0.11.3 ###...

arr00