Skip to main content

AbstractDomain

oxilean_kernel::abstract_interp::functions

Trait AbstractDomain 

Source 
pub trait AbstractDomain: Sized {
    // Required methods
    fn join(&self, other: &Self) -> Self;
    fn meet(&self, other: &Self) -> Self;
    fn is_bottom(&self) -> bool;
    fn is_top(&self) -> bool;
    fn leq(&self, other: &Self) -> bool;
}
Expand description

A lattice-based abstract domain for static analysis.

Required Methods§

Source

fn join(&self, other: &Self) -> Self

Least upper bound (join) of two elements.

Source

fn meet(&self, other: &Self) -> Self

Greatest lower bound (meet) of two elements.

Source

fn is_bottom(&self) -> bool

True if this element is bottom (least element).

Source

fn is_top(&self) -> bool

True if this element is top (greatest element).

Source

fn leq(&self, other: &Self) -> bool

True if self ⊑ other.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§