Divide-before-multiply pattern

Meteora's assessment for RD-F-016 — scored gray on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.

Evidence summary #

Slither divide-before-multiply detector is EVM-specific. The DLMM uses Q64.64 fixed-point arithmetic for bin pricing (Rust). Rust programs use overflow-checks=true in release builds. No Rust-native divide-before-multiply analysis was performed. Gray rather than not_applicable because the underlying arithmetic concern is theoretically applicable.

Sources #

GitHub
DLMM SDK Cargo.toml - Release Profile Configurationdlmm-sdk Cargo.toml - overflow-checks = true in release profileretrieved 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 →

rubric_version v1.7.0 protocol meteora factor RD-F-016 score gray collected_at 2026-05-16 10:03:05