Divide-before-multiply pattern
Dolomite'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 #
SECBIT 2021 audit addressed numeric precision; getPartialRoundHalfUp function added to prevent lossy Wei/Par conversions. README explicitly documents this fix. No published Slither divide-before-multiply output available for current deployed code. Known mitigation applied but cannot independently verify absence of remaining instances without tool run. Yellow.
Sources #
- GitHubDolomiteMargin READMEREADME: getPartialRoundHalfUp function added to prevent lossy conversions between Wei and Par valuesretrieved 2026-05-16
- Dolomite Margin — SECBIT Audit 2021-08-02SECBIT 2021-08-02 audit: addressed numeric precision issues in Dolomite-specific changesretrieved 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 dolomite factor RD-F-016 score yellow collected_at 2026-05-16 11:12:56