slither
slither copied to clipboard
[False-Positive]: Erroneous "should be constant" detector
Describe the false alarm that Slither raise and how you know it's inaccurate:
Similar reproduction steps as https://github.com/crytic/slither/issues/2324. This time, you'll see a L1Block.blobBaseFee (src/L2/L1Block.sol#50) should be constant finding.
However, that variable is set using assembly: sstore(blobBaseFee.slot, calldataload(68))
Frequency
Not sure
Code example to reproduce the issue:
See above
Version:
0.10.0
Relevant log output:
No response