Module unchecked_calls 

Structs

UncheckedCallChecker 🔒

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

UncheckedTransferERC20Checker 🔒

Visitor that detects unchecked ERC20 transfer 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. function ERC20.transfer(to, amount) function ERC20.transferFrom(from, to, amount)

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.