Skip to main content

storage_aliases

forge_lint::sol::med::uninitialized_state_variables

Function storage_aliases 

Source 
fn storage_aliases<'gcx>(
    gcx: Gcx<'gcx>,
    func: &'gcx Function<'gcx>,
) -> HashMap<VariableId, HashSet<VariableId>>
Expand description

Collects, flow-insensitively, the state variables each local storage pointer declared in func may reference: every assignment contributes to the pointer’s target set, and pointers assigned from other pointers are resolved transitively.