Module unchecked_calls 

Structs

UncheckedCallChecker 🔒

Visitor that detects unchecked low-level calls within function bodies.

Statics

ERC20_UNCHECKED_TRANSFER

UNCHECKED_CALL

Functions

is_erc20_transfer_call 🔒

Checks if an expression is an ERC20 transfer or transferFrom call.

is_low_level_call 🔒

Checks if an expression is a low-level call that should be checked.

is_unchecked_tuple_assignment 🔒

Checks if a tuple assignment doesn’t properly check the success value.