Skip to main content

expr_reads_sender

Function expr_reads_sender 

Source
pub fn expr_reads_sender<'gcx>(
    gcx: Gcx<'gcx>,
    expr: &Expr<'_>,
    seen: &mut HashSet<FunctionId>,
    aliases: &HashSet<VariableId>,
) -> bool
Expand description

Whether expr reads msg.sender/tx.origin, one of aliases, or calls a user function that reads the sender.