Divide-before-multiply pattern
Euler V2'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 Slither tool run performed. Source review of critical arithmetic paths did not reveal obvious divide-before-multiply. 12+ audit firms and Cantina competition are strong proxy. Yellow pending tool run.
Sources #
- GitHubBorrowing.sol arithmetic reviewNo tool run performed — T-10 dry run constraint. Source review of arithmetic in Borrowing/Vault modules: no obvious divide-before-multiply found.retrieved 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 euler-v2 factor RD-F-016 score yellow collected_at 2026-05-04 19:56:06