Skip to main content

seed_immutable_facts

forge_lint::sol::high::arbitrary_send_erc20

Function seed_immutable_facts 

Source 
fn seed_immutable_facts<'hir>(
    gcx: Gcx<'hir>,
    hir: &'hir Hir<'hir>,
    has_solady_lib: bool,
    cid: ContractId,
    out: &mut Analyzer<'hir>,
)
Expand description

Harvests self_vars / safe_vars facts about immutable / constant state vars of cid: both declaration initializers and direct constructor assignments.