Enum cwe_checker_lib::abstract_domain::BrickDomain

pub enum BrickDomain {
    Top,
    Value(Brick),
}

The single brick domain that represents a set of character sequences as well as the minimum and maximum of the sum of their occurrences.

e.g. [{“mo”, “de”}]^{1,2} represents the following set of strings: {mo, de, momo, dede, mode, demo}.

Variants

Top

The Top value represents the powerset over the alphabet of allowed characters with a minimum of 0 and a maximum of positive infinity.

Value(Brick)

The set of character sequences as well as the minimum and maximum of the sum of their occurrences.

Implementations

impl BrickDomain

pub fn widen(&self, other: &BrickDomain) -> Self

The widen function of the BrickDomain takes the union of both BrickDomains and returns Top if the number of sequences exceeds a certain threshold. If neither of the domains are Top, the minimum and maximum of the interval bounds are taken and it is checked whether their difference exceeds a certain threshold. If so min is set to 0 and max is set to infinity (here Max value of 32 bits). Otherwise, their values are taken as new bounds for the merged domain.

pub fn is_less_or_equal(&self, other: &BrickDomain) -> bool

Checks whether the current BrickDomain is less or equal than the other BrickDomain by definition of the partial order. Empty strings are ignored for order comparisons.

impl BrickDomain

pub fn new(string: String) -> Self

Returns a new instance of the Brick Domain

Trait Implementations

impl AbstractDomain for BrickDomain

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

Takes care of merging single bricks by taking the union of the two brick’s string sequences and the minimum and maximum of their respective min and max values.

fn is_top(&self) -> bool

Check if the value is Top.

fn merge_with(&mut self, other: &Self) -> &mut Self

Returns an upper bound (with respect to the partial order on the domain) for the two inputs self and other.

impl Clone for BrickDomain

fn clone(&self) -> BrickDomain

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for BrickDomain

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for BrickDomain

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for BrickDomain

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for BrickDomain

fn eq(&self, other: &BrickDomain) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for BrickDomain

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for BrickDomain

impl StructuralEq for BrickDomain

impl StructuralPartialEq for BrickDomain