Enum cwe_checker_lib::abstract_domain::CharacterInclusionDomain

pub enum CharacterInclusionDomain {
    Top,
    Value((CharacterSet, CharacterSet)),
}

The CharacterInclusionDomain is a abstract domain describing the characters a string certainly has and the characters a string may have.

The value comprises of a set of certainly contained characters and a set of possibly contained characters while the Top value does not get any data. However, the Top value stands for an empty set of certainly contained characters and the whole alphabet of allowed characters for the possibly contained characters.

Variants

Top

The Top value stands for an empty set of certainly contained characters and the whole alphabet of allowed characters for the possibly contained characters.

Value((CharacterSet, CharacterSet))

The set of certainly contained characters and a set of possibly contained characters

Implementations

impl CharacterInclusionDomain

pub fn unwrap_value(&self) -> (CharacterSet, CharacterSet)

Unwraps the values from the Character Inclusion Domain

Trait Implementations

impl AbstractDomain for CharacterInclusionDomain

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

Merge two values; Takes the intersection of the certainly contained characters and the union of the possibly contained characters. Returns Top if either Domain represents it.

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 CharacterInclusionDomain

fn clone(&self) -> CharacterInclusionDomain

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CharacterInclusionDomain

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CharacterInclusionDomain

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for CharacterInclusionDomain

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

Formats the value using the given formatter.

impl DomainInsertion for CharacterInclusionDomain

fn append_string_domain(&self, string_domain: &Self) -> CharacterInclusionDomain

Append string domain as part of a concatenation. (different to merge)

fn create_float_value_domain() -> Self

Create a string domain that approximates float values.

fn create_char_domain() -> Self

Create a string domain that approximates char values.

fn create_integer_domain() -> Self

Create a string domain that approximates integer values.

fn create_pointer_value_domain() -> Self

Create a string domain that approximates pointer values.

fn create_top_value_domain() -> Self

Creates a top value of the domain.

fn create_empty_string_domain() -> Self

Create a string domain that represents an empty string.

impl From<String> for CharacterInclusionDomain

fn from(string: String) -> Self

Converts to this type from the input type.

impl HasTop for CharacterInclusionDomain

fn top(&self) -> Self

Return a Top value

impl PartialEq for CharacterInclusionDomain

fn eq(&self, other: &CharacterInclusionDomain) -> 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 CharacterInclusionDomain

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 CharacterInclusionDomain

impl StructuralEq for CharacterInclusionDomain

impl StructuralPartialEq for CharacterInclusionDomain