Skip to main content

body_guards

forge_lint::sol::med::unsafe_oz_erc721_mint

Function body_guards 

Source 
fn body_guards<'hir>(
    gcx: Gcx<'hir>,
    hir: &'hir Hir<'hir>,
    function_id: FunctionId,
    recipient: VariableId,
    token: VariableId,
    bypass: bool,
    seen: &mut Vec<FunctionId>,
) -> GuardCoverage
Expand description

walk_guards on a callee’s body, against the parameters the recipient and the token landed on: the callee guards when a guard ran before any possible successful exit, which is what its caller relies on. bypass says the wrapped body can leave through an assembly return, making an uncovered placeholder such an exit. seen cuts recursion cycles.