Method is_path_alias

src/analysis/memory/symbolic_value.rs:963–968

True if the value is derived from one or more memory locations whose values were not known when the value was constructed.

(&self)

    /// True if the value is derived from one or more memory locations whose values were not known
    /// when the value was constructed.
    fn is_path_alias(&self) -> bool {
        matches!(
            &self.expression,
            Expression::Reference(..) | Expression::Variable { .. } | Expression::Widen { .. }
        )
    }

    /// True if all possible concrete values are elements of the set corresponding to this domain.
    fn is_top(&self) -> bool {