Static-analyzer high-severity count
Euler V2's assessment for RD-F-010 — scored yellow on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.
Evidence summary #
No Slither/Mythril/Semgrep tool run performed (T-10 dry run constraint). Source review of 8 core modules (Vault, Borrowing, Liquidation, Token, Initialize, RiskManager, BalanceForwarder, Governance) shows consistent nonReentrant guards, immutable module targets, no SELFDESTRUCT, no user-controlled delegatecall. 12+ audit firms and Cantina competition (572 submissions) are strong proxy. Yellow pending tool run.
Sources #
- GitHub
- Cantina Competition ResultsCantina competition 572 submissions — strong proxy for absence of high-severity findingsretrieved 2026-05-04
- EVK Borrowing Module SourceBorrowing.sol — nonReentrant on borrow/repay/flashLoan confirmedretrieved 2026-05-04
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 →