Static-analyzer high-severity count
BlackRock USD Institutional Digital Liquidity Fund (BUIDL)'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 #
Implementation 0x603Bb690 unverified on Etherscan; Slither/Mythril cannot be run. Proxy source is verified but minimal (4-function proxy, no complex logic). Full business logic static analysis not possible without implementation source.
Sources #
- Etherscanhttps://etherscan.io/address/0x7712c34205737192402172409a8f7ccef8aa2aec#coderetrieved 2026-04-26
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 blackrock-buidl factor RD-F-010 score gray collected_at 2026-05-12 09:40:42