Verifed by r2c
Trail of Bits
Download Count*

Written by the Trail of Bits security experts. See for more.

Run Locally

Rules (46)

profile photo of trailofbitstrailofbits

Logic executed as a result of ticker `$TICKER` may execute more times than desired. When both `$TICKER` and `$DONECHAN` are written to at the same time, the scheduler randomly picks a case to execute. As a result, the `$TICKER.C` may excute one more time than expected.