Reentrancy guard on external-calling functions
Symbiotic's assessment for RD-F-014 — scored gray on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.
Evidence summary #
No published evidence of reentrancy guard deficiency. Certora FV covered access-control and state-transition invariants and passed. ChainSecurity found only minor issues. No static analysis output available to confirm nonReentrant presence on all relevant external-call functions.
Sources #
- AuditCertora Symbiotic Formal VerificationCertora FV passed all specified invariants; ChainSecurity found only minor issuesretrieved 2026-05-16
Methodology #
Determine whether all state-mutating functions that perform external calls carry `nonReentrant` or an equivalent reentrancy guard.
See the full factor methodology and distribution across all protocols →
rubric_version v1.7.0 protocol symbiotic factor RD-F-014 score gray collected_at 2026-05-16 09:25:24