Static-analyzer high-severity count

EigenLayer's assessment for RD-F-010 — scored gray on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.

Evidence summary #

No tool run executed per methodology (published analysis only). Olympix comparison study on EigenLayer found: (a) abi.encodePacked concerns in EigenPodManager.sol and DelayedWithdrawalRouter.sol; (b) locked Ether risk in DelayedWithdrawalRouter.sol (deprecated contract). Slither produced high false-positive rate on reentrancy due to correctly-implemented nonReentrant guards. No confirmed true-positive high-severity static analysis finding on current deployed bytecode. Marked gray — programmatic tool run on current bytecode is required for definitive assessment.

Sources #

URL
Comparing Olympix and Slither on the EigenLayer Code BaseOlympix/Slither comparison on EigenLayer codebase — published analysisretrieved 2026-04-28

Methodology #

Count the number of unique high-severity detector findings from Slither + Mythril + Semgrep run against the deployed verified source (after deduplication across tools).

See the full factor methodology and distribution across all protocols →

rubric_version v1.7.0 protocol eigenlayer factor RD-F-010 score gray collected_at 2026-04-28 13:58:44