Module ecrecover 

Structs

Analyzer 🔒

AssignedValue 🔒

FlowState 🔒

LoopEffects 🔒

PendingRecovery 🔒

Enums

ValueId 🔒

Constants

SECP256K1_HALF_ORDER 🔒

Largest canonical secp256k1 s value, n / 2.

Statics

ECRECOVER

Functions

call_may_mutate_state 🔒

collect_lhs_vars 🔒

constant_bool 🔒

expr_has_fact_side_effect 🔒

for_loop_next_expr 🔒

is_ecrecover_builtin 🔒

is_transparent_signature_cast 🔒

merge_loop_effect_paths 🔒

negate_comparison 🔒

reverse_comparison 🔒

underlying_var 🔒