Arbitrary call with user-controlled target

JustLend DAO's assessment for RD-F-013 — scored not_applicable on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.

Evidence summary #

Slither arbitrary-send detector not available on TVM. GovernorBravo proposal execution calls through Timelock without target allowlist — this is by design for governance. Structural not_applicable for TVM substrate.

Sources #

GitHub
JustLend GovernorBravoDelegate.sol sourceGovernorBravoDelegate.sol — proposal execution via timelock.executeTransaction, no target allowlist by designretrieved 2026-05-17

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 justlend factor RD-F-013 score not_applicable collected_at 2026-05-17 10:25:32