Module missing_zero_check 

Re-exports

use super::MissingZeroCheck; 🔒

use crate::linter::LateLintPass; 🔒

use crate::linter::LintContext; 🔒

use crate::sol::Severity; 🔒

use crate::sol::SolLint; 🔒

use crate::sol::analysis::address_call_receiver; 🔒

use crate::sol::analysis::branch_always_exits; 🔒

use crate::sol::analysis::is_address_type; 🔒

use crate::sol::analysis::is_require_or_assert; 🔒

use crate::sol::analysis::is_zero_value; 🔒

use crate::sol::analysis::lhs_local_var; 🔒

use crate::sol::analysis::loop_stmts; 🔒

use crate::sol::analysis::underlying_var; 🔒

use solar::ast; 🔒

use solar::ast::BinOpKind; 🔒

use solar::ast::UnOpKind; 🔒

use solar::interface::data_structures::Never; 🔒

use solar::sema::Gcx; 🔒

use solar::sema::hir; 🔒

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

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

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

use solar::sema::hir::Visit; 🔒

use std::collections::HashMap; 🔒

use std::collections::HashSet; 🔒

use std::ops::ControlFlow; 🔒

use std::slice; 🔒

Structs

Analyzer 🔒

Tracks address-parameter taint, sinks reached, and guards observed in a function body.

Statics

MISSING_ZERO_CHECK