Divide-before-multiply pattern
Lista DAO'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 #
MakerDAO-derived arithmetic uses RAY (10^27) fixed-point math. Reviewed contracts (vat.sol, jug.sol) use rdiv/rmul helper patterns that multiply before dividing, consistent with MakerDAO's safe arithmetic patterns. No divide-before-multiply identified in reviewed scope.
Sources #
- GitHubvat.sol Sourcevat.sol — RAY fixed-point arithmetic with rmul/rdiv (multiply-before-divide pattern from MakerDAO)retrieved 2026-05-12
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 lista-dao factor RD-F-016 score green collected_at 2026-05-12 17:54:05