Static-analyzer high-severity count

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

Evidence summary #

Slither and Mythril operate on EVM bytecode. JustLend is deployed on TVM (TRON Virtual Machine) — a different instruction set architecture. TronBox compiles to TVM bytecode, not EVM bytecode. Structural not_applicable per TRON substrate overlay.

Sources #

GitHub
JustLend tronbox.js — TVM build configtronbox.js confirms TVM target with solc 0.5.16 TronSolc compilerretrieved 2026-05-17

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