Divide-before-multiply pattern
PancakeSwap'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 #
V3 Pool uses FullMath library (fixed-point 256-bit arithmetic), TickMath, SqrtPriceMath derived from Uniswap V3's audited math libraries. No divide-before-multiply finding surfaced in 4 V3 audits (SlowMist x2, PeckShield x2). V2 uses k=xy invariant math with no complex division patterns.
Sources #
- URLPancakeSwap AuditsPancakeSwap audits page — SlowMist/PeckShield V3 audits March 2023retrieved 2026-04-29
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 pancakeswap factor RD-F-016 score green collected_at 2026-04-28 19:10:57