ecrecover zero-address return unchecked
Frax Finance's assessment for RD-F-019 — scored gray on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.
Evidence summary #
No Slither ecrecover-malleable detector run. frxGov extends OZ Governor (EIP-712 signed votes) — OZ Governor handles ecrecover correctly. Fraxlend permit-style signatures not independently verified. Tool run required.
Sources #
- Curator noteecrecover analysis gapOZ Governor (frxGov base) handles ecrecover correctly by construction; fraxlend permit signatures not verifiedretrieved 2026-05-17
Methodology #
Determine whether any `ecrecover` call result is used without a `!= address(0)` guard.
See the full factor methodology and distribution across all protocols →
rubric_version v1.7.0 protocol frax factor RD-F-019 score gray collected_at 2026-05-16 20:44:31