Module div_mul 

Statics

DIVIDE_BEFORE_MULTIPLY

Functions

check_block 🔒

check_expr 🔒

check_stmt 🔒

expr_is_division_result_or_tainted 🔒

expr_value_is_division_or_tainted 🔒

is_inc_dec_op 🔒

is_revert_call 🔒

is_yul_builtin_call 🔒

is_yul_division_call 🔒

is_yul_multiplication_call 🔒

union_taints 🔒

update_assignment_taint 🔒

update_lhs_taint 🔒

update_multi_decl_taint 🔒

update_taint 🔒