defirisk.co
rubric v1.7.0

Signed/unsigned arithmetic confusion

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

Evidence summary #

Symbolic execution (Manticore/Echidna) not available for TVM substrate. Structural not_applicable.

Sources #

  • Internal
    JustLend profile TRON substrate noteProfile §3 SUBSTRATE ANOMALY — symbolic execution tools not applicable on TVMretrieved 2026-05-17

Methodology #

Determine whether signed-integer conversions or comparisons where unsigned was intended exist in the deployed bytecode/source.

See the full factor methodology and distribution across all protocols →

rubric_version v1.7.0 protocol justlend factor RD-F-018 score not_applicable collected_at 2026-05-17 10:25:32