Module ecrecover 

Re-exports

use super::Ecrecover; 🔒

use crate::linter::LateLintPass; 🔒

use crate::linter::LintContext; 🔒

use crate::sol::Severity; 🔒

use crate::sol::SolLint; 🔒

use crate::sol::analysis::is_exit_call; 🔒

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

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

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

use alloy_primitives::U256; 🔒

use solar::ast::BinOpKind; 🔒

use solar::ast::ElementaryType; 🔒

use solar::ast::UnOpKind; 🔒

use solar::interface::Span; 🔒

use solar::interface::Symbol; 🔒

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

use solar::sema::Gcx; 🔒

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

use solar::sema::eval::ConstValue; 🔒

use solar::sema::hir; 🔒

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

use solar::sema::hir::ExprId; 🔒

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

use solar::sema::hir::LoopSource; 🔒

use solar::sema::hir::StateMutability; 🔒

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

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

use solar::sema::hir::TypeKind; 🔒

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

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

use solar::sema::ty::TyKind; 🔒

use std::collections::HashMap; 🔒

use std::collections::HashSet; 🔒

use std::mem; 🔒

use std::ops::ControlFlow; 🔒

Structs

Analyzer 🔒

FlowState 🔒

PendingRecovery 🔒

An ecrecover result held in a local that has been neither observed nor validated yet.

SideEffects 🔒

Finds writes and state-mutating calls that run when an expression is evaluated.

Enums

ValueId 🔒

Symbolic identity of a value: a place’s incoming value or the result of an assignment.

ValueKey 🔒

A tracked place: a whole variable, or a struct field reached from a variable (sig.s).

Constants

SECP256K1_HALF_ORDER 🔒

Largest canonical secp256k1 s value, n / 2.

Statics

ECRECOVER

Functions

call_may_mutate_state 🔒

is_transparent_cast 🔒

negate_comparison 🔒

reverse_comparison 🔒

var_of 🔒

The variable an expression denotes, through parens and uint256(..)/bytes32(..) casts.

Type Aliases

Pair 🔒

A place written by an assignment, paired with the expression it receives.