Static-analyzer high-severity count

Meteora'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 #

Slither/Mythril/Semgrep are EVM-specific tools; not applicable to Rust/Anchor programs. Sec3's proprietary Rust static analyzer was used in the Feb 2024 DLMM audit but output is not publicly available. No programmatic analysis of the Rust source was performed in this assessment.

Sources #

GitHub
Sec3 Audit Reports Repositorysec3-service/reports - Meteora DLMM Feb 2024 listed but PDF binaryretrieved 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 meteora factor RD-F-010 score gray collected_at 2026-05-16 10:03:05