Module ecrecover 

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.

Signature 🔒

The s argument of an ecrecover call.