Divide-before-multiply pattern
Lombard Finance'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 #
No published Slither divide-before-multiply detector output available. Tool run not performed. LBTC uses 8 decimals (BTC-matched) creating potential mixed-decimal arithmetic with 18-decimal EVM ecosystem tokens. Veridise V2 found 0 findings (suggests no divide-before-multiply in scope), but the exact Slither output is not published. Marked gray — needs tool run.
Sources #
- Curator noteStatic analysis gap noteNo Slither output published; needs tool runretrieved 2026-05-05
- Veridise V2 Audit — zero findingsVeridise V2: 0 findings (likely includes divide-before-multiply check)retrieved 2026-05-05
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 lombard factor RD-F-016 score gray collected_at 2026-05-05 12:03:08