Divide-before-multiply pattern
Ondo Finance's assessment for RD-F-016 — scored yellow on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.
Evidence summary #
No divide-before-multiply finding in any reviewed audit. No published Slither output available. Yellow — cannot confirm absence without independent tool run.
Sources #
- Audithttps://code4rena.com/reports/2024-03-ondo-financeretrieved 2026-04-28
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 ondo-finance factor RD-F-016 score yellow collected_at 2026-05-14 12:01:55