Divide-before-multiply pattern

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

Evidence summary #

StakingAccountant uses Math.mulDiv() for safe arithmetic (multiplies before dividing). No raw division-before-multiplication in price calculation paths. Code4rena 19-LOW findings produced no divide-before-multiply finding.

Sources #

GitHub
StakingAccountant.solStakingAccountant.sol — Math.mulDiv() usage confirmedretrieved 2026-05-17
URL
Code4rena Kinetiq Audit April 2025Code4rena April 2025 report — no divide-before-multiply in LOW findingsretrieved 2026-05-17

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 kinetiq factor RD-F-016 score green collected_at 2026-05-17 15:29:57