Interface PathRefinement

src/analysis/memory/path.rs:484–505

Define this trait for defining methods for Rc Still, mainly used to handle function calls

// Define this trait for defining methods for Rc<Path>
// Still, mainly used to handle function calls
pub trait PathRefinement<DomainType>: Sized
where
    DomainType: NumericalDomainType,
    IntervalAbstractDomain<DomainType>: GetDomainType,
{
    /// Refine parameters inside embedded index values with the given arguments.
    fn refine_parameters(
        &self,
        arguments: &[(Rc<Path>, Rc<SymbolicValue>)],
        // fresh: usize,
    ) -> Rc<Path>;

    /// Refine paths that reference other paths.
    /// I.e. when a reference is passed to a function that then returns
    /// or leaks it back to the caller in the qualifier of a path then
    /// we want to dereference the qualifier in order to normalize the path
    /// and not have more than one path for the same location.
    fn refine_paths(&self, environment: &AbstractDomain<DomainType>) -> Rc<Path>;

    /// Returns a copy path with the root replaced by new_root.
    fn replace_root(&self, old_root: &Rc<Path>, new_root: Rc<Path>) -> Rc<Path>;
}

impl<DomainType> PathRefinement<DomainType> for Rc<Path>
where