Divide-before-multiply pattern

Evidence summary #

No published Slither divide-before-multiply output. A-4 Medium finding M-3 specifically addressed decimal handling in rate calculations (an adjacent issue class); this was fixed. Without a current tool run, cannot confirm 0 remaining divide-before-multiply patterns in the deployed source. Yellow given the audit history of addressing this issue class but absence of current tool output.

Sources #

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 →