Divide-before-multiply pattern
Concrete'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 Slither divide-before-multiply output available. No audit finding flagged this issue in any V2 engagement. Needs tool run.
Sources #
- AuditHalborn V2 Standard ImplementationHalborn V2 Standard — 0 medium findings (no divide-before-multiply flagged)retrieved 2026-05-17
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 concrete factor RD-F-016 score gray collected_at 2026-05-17 14:36:59