slither icon indicating copy to clipboard operation
slither copied to clipboard

[False-Positive]: Erroneous "should be constant" detector

Open mds1 opened this issue 2 years ago • 0 comments

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

mds1 avatar Feb 20 '24 16:02 mds1