Skip to main contentModule div_mul
Source - DIVIDE_BEFORE_MULTIPLY
- check_block 🔒
- Checks
block, returning false once control cannot continue past a statement. - check_branches 🔒
- Checks the bodies of mutually exclusive branches and keeps the taint of every branch that
falls through, on top of the taint before the branch.
- check_expr 🔒
- check_stmt 🔒
- is_division_or_tainted 🔒
- The value of
expr is a division result, directly or through a tainted local. - is_yul_call 🔒
- A two-argument call to one of the given Yul builtins.
- rhs_taints 🔒
- Taint of each of the
n slots assigned from rhs: elementwise for a tuple of matching arity,
otherwise the taint of the whole expression. - set_lhs_taint 🔒
- set_taint 🔒
- Tainted 🔒
- Locals whose current value is the result of a division.