Divide-before-multiply pattern
QuickSwap'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 #
C4 identified M-05 (exp() function inaccuracy when x/g is not small) and M-11 (biased volatility estimator) in Algebra V1 DataStorage/AdaptiveFee contracts — these represent mathematical precision issues related to division-order in adaptive fee calculations. Not a classical Slither divide-before-multiply detector pattern, but related arithmetic correctness concerns in price/fee computation paths. V2 (immutable Uniswap V2): ABDK FV covered arithmetic correctness. Scored yellow for V3 due to confirmed mathematical precision issues in fee-calculation paths.
Sources #
- AuditCode4rena 2022-09 QuickSwap ReportC4 M-05 (exp inaccuracy) and M-11 (biased volatility estimator) in Algebra coreretrieved 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 →