Divide-before-multiply pattern

Rocket Pool's assessment for RD-F-016 — scored gray on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.

Evidence summary #

No published Slither divide-before-multiply output found. rETH exchange rate involves division (rETH:ETH ratio) but no specific divide-before-multiply finding in any accessible audit summary. Cannot assess without tool run.

Sources #

GitHub
Rocket Pool Smart ContractsRocket Pool repo — no Slither output publishedretrieved 2026-05-04

Methodology #

Determine whether Slither's `divide-before-multiply` detector fires on the deployed verified source.

See the full factor methodology and distribution across all protocols →

rubric_version v1.7.0 protocol rocket-pool factor RD-F-016 score gray collected_at 2026-05-04 15:40:28