rapx 0.6.252

A static analysis platform for use-after-free, memory leakage detection, etc
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40

use std::{
    collections::{HashMap, HashSet},
    hash::Hash,
};

use crate::analysis::senryx::symbolic_analysis::{AnaOperand, SymbolicDef};
use crate::analysis::senryx::visitor::PlaceTy;
use rustc_middle::ty::Ty;

/// Tracks pointer alignment status in the abstract domain.
#[derive(Debug, Clone, PartialEq, Eq)]
pub enum AlignState<'tcx> {
    Aligned(Ty<'tcx>),
    /// Misaligned relative to `u64` by offset `SymbolicDef`.
    Unaligned(Ty<'tcx>),
    /// Alignment cannot be statically determined (Top).
    Unknown,
}

impl<'tcx> AlignState<'tcx> {
    /// Merges two states (Lattice Join). Returns the conservative lower bound.
    pub fn merge(&self, other: &Self) -> Self {
        if self == other {
            return other.clone();
        }
        match (self, other) {
            // If both are aligned for the same type, keep the weaker alignment.
            (AlignState::Aligned(t1), AlignState::Aligned(t2)) => {
                if t1 == t2 {
                    AlignState::Aligned(*t1)
                } else {
                    AlignState::Unknown
                }
            }
            // Merging unaligned states is complex; default to Unknown for checking soundness.
            (AlignState::Unaligned(t1), AlignState::Unaligned(t2)) => AlignState::Unknown,
            _ => AlignState::Unknown,
        }
    }
}