Divide-before-multiply pattern

Superstate'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 #

Divide-before-multiply requires Slither programmatic run. Audit-3 M-1 flagged oracle arithmetic issue (underflow assuming prices only increase) - addressed. That is a related but distinct pattern. Tool run needed.

Sources #

Audit
0xMacro Superstate Audit 3 (M-1 oracle arithmetic)0xMacro superstate-3 M-1: oracle arithmetic underflow (addressed); distinct from divide-before-multiply but relatedretrieved 2026-05-16

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 superstate factor RD-F-016 score gray collected_at 2026-05-16 00:06:37