Skip to main content

cond_restricts_caller

forge_lint::sol::high::arbitrary_send_eth

Function cond_restricts_caller 

Source 
fn cond_restricts_caller<'hir>(
    hir: &'hir Hir<'hir>,
    cond: &'hir Expr<'hir>,
    polarity: bool,
    params: &[VariableId],
    self_aliases: &mut SelfAliasAnalysis<'hir>,
) -> bool
Expand description

True when cond entails msg.sender == trusted along every accepting path.