Skip to main content

build

celox_analysis::memory_ssa

Function build 

Source 
pub fn build<D, P>(
    cfg: &impl SsaCfg,
    memory_events: &[Vec<MemoryAccessEvent<D, P>>],
) -> Result<(MemoryAccessGraph<D>, MemoryPointMap<P>), MemorySsaError>
where
    D: Copy + Ord,
    P: Copy + Ord,
Expand description

Build a standard access-based MemorySSA graph and a separate coordinate map. The caller decides which events are memory definitions; no effect or alias representation crosses this interface.