Divide-before-multiply pattern

Evidence summary #

No Slither `divide-before-multiply` tool output available (T-10 dry run). The Aug 2024 critical finding was a decimal scaling issue (off-by-factor of 10^12 in the Arbitrum CustomGasToken adapter) which is semantically adjacent — but it was in a fee calculation, not a price/accounting path for user funds, and was resolved pre-deployment. No ongoing divide-before-multiply in price paths identified in audit summaries.

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 →