Divide-before-multiply pattern
Symbiotic'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 citing this pattern. Certora FV and multiple auditors would likely have caught arithmetic ordering issues in critical paths. Cannot confirm green without tool run.
Sources #
- InternalSymbiotic Data Cache - Static Analysis.research/protocols/symbiotic/00-data-cache.json: static_analysis=[]retrieved 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 symbiotic factor RD-F-016 score gray collected_at 2026-05-16 09:25:24