Method infer_reference_nullness

src/analysis/abstract_domain.rs:159–182

(&self, value: &Rc<SymbolicValue>)

    }

    fn infer_reference_nullness(&self, value: &Rc<SymbolicValue>) -> Option<PointerNullness> {
        match &value.expression {
            Expression::Reference(..) => Some(PointerNullness::NonNull),
            Expression::Variable { path, var_type }
                if *var_type == crate::analysis::memory::expression::ExpressionType::Reference =>
            {
                self.nullness_domain.get(path)
            }
            Expression::Cast {
                operand,
                target_type,
            } if *target_type == crate::analysis::memory::expression::ExpressionType::Reference => {
                if operand.expression.is_zero() {
                    Some(PointerNullness::Null)
                } else {
                    self.infer_reference_nullness(operand)
                }
            }
            Expression::CompileTimeConstant(ConstantValue::Function(..)) => {
                Some(PointerNullness::NonNull)
            }
            _ => None,
        }
    }

    fn get_integer_operand_path(&mut self, value: &Rc<SymbolicValue>) -> Option<Rc<Path>> {
        match &value.expression {