Skip to main content

update_sender_aliases

forge_lint::sol::analysis::access_control

Function update_sender_aliases 

Source 
fn update_sender_aliases<'gcx>(
    gcx: Gcx<'gcx>,
    stmt: &Stmt<'gcx>,
    aliases: &mut HashSet<VariableId>,
)
Expand description

Applies stmt to the set of locals holding a msg.sender-derived value: a local initialized or assigned from a value that reads the sender becomes an alias, and one reassigned from anything else stops being one.