Arbitrary call with user-controlled target
Sanctum's assessment for RD-F-013 — scored green on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.
Evidence summary #
Anchor framework enforces program ID validation on all CPI calls via Program<'info, T> account type. Anchor 0.28.0 (unstake-program Cargo.lock). No arbitrary-CPI finding in any published audit. No unmitigated arbitrary-CPI finding identified.
Sources #
- GitHubsanctum-unstake-program Cargo.lockCargo.lock resolves anchor-lang 0.28.0 with program ID validationretrieved 2026-05-04
Methodology #
Determine whether any contract performs `.call(target, data)` where target and/or data is user-supplied without a target allowlist or selector filter.
See the full factor methodology and distribution across all protocols →
rubric_version v1.7.0 protocol sanctum factor RD-F-013 score green collected_at 2026-05-04 18:49:23