Module div_mul 

Re-exports

use super::DivideBeforeMultiply; 🔒

use crate::linter::LateLintPass; 🔒

use crate::linter::LintContext; 🔒

use crate::sol::Severity; 🔒

use crate::sol::SolLint; 🔒

use crate::sol::analysis::is_revert_call; 🔒

use crate::sol::analysis::loop_update; 🔒

use crate::sol::analysis::tuple_elems; 🔒

use solar::sema::Gcx; 🔒

use solar::sema::builtins::Builtin; 🔒

use solar::sema::hir::BinOpKind; 🔒

use solar::sema::hir::Block; 🔒

use solar::sema::hir::Expr; 🔒

use solar::sema::hir::ExprKind; 🔒

use solar::sema::hir::Function; 🔒

use solar::sema::hir::Stmt; 🔒

use solar::sema::hir::StmtKind; 🔒

use solar::sema::hir::VariableId; 🔒

use std::collections::HashSet; 🔒

Statics

DIVIDE_BEFORE_MULTIPLY

Functions

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 🔒

Type Aliases

Tainted 🔒

Locals whose current value is the result of a division.