Static-analyzer high-severity count

Beefy Finance'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 published Slither/Mythril static analysis output found for BeefyVaultV7 or strategy contracts. Tool run not performed in this assessment. MixBytes blog analyzed an older vault architecture and found harvest swap slippage (AmountOutMin=0) and deflationary token handling issues but these are a published secondary source, not a formal static analysis of deployed bytecode. Needs tool run.

Sources #

URL
MixBytes Yield Aggregators Common PitfallsMixBytes Beefy yield aggregator analysis — secondary source, older architectureretrieved 2026-05-16

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 beefy factor RD-F-010 score gray collected_at 2026-05-16 13:10:30