Skip to main content

collect_modifier_safety

forge_lint::sol::high::arbitrary_send_erc20

Function collect_modifier_safety 

Source 
fn collect_modifier_safety<'hir>(
    gcx: Gcx<'hir>,
    hir: &'hir Hir<'hir>,
    has_solady_lib: bool,
    invocation: &Modifier<'hir>,
    out_safe: &mut HashSet<VariableId>,
    out_self: &mut HashSet<VariableId>,
)
Expand description

Hoists require(modParam == msg.sender | address(this)) guards from the modifier prefix (statements before _;) to the caller’s argument. out_self receives params proven equal to address(this).