Divide-before-multiply pattern
Sanctum'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 #
Rust requires explicit checked_mul/checked_div operations; no implicit arithmetic promotion. No divide-before-multiply finding in any published Infinity or Unstake audit.
Sources #
- AuditNeodyme INV-24-01Neodyme INV-24-01 Infinity audit — arithmetic precision covered, no divide-before-multiply findingretrieved 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 sanctum factor RD-F-016 score green collected_at 2026-05-04 18:49:23