Enum cwe_checker_lib::abstract_domain::BitvectorDomain

pub enum BitvectorDomain {
    Top(ByteSize),
    Value(Bitvector),
}

The BitvectorDomain is a simple abstract domain describing a bitvector of known length.

As values it can only assume a known bitvector or Top(bytesize).

Variants

Top(ByteSize)

The Top value of the domain, representing the case that nothing is known about the actual value.

Value(Bitvector)

The exact value of the bitvector is known.

Trait Implementations

impl AbstractDomain for BitvectorDomain

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

merge two values. Returns Top if the values are not equal.

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 Add for BitvectorDomain

type Output = BitvectorDomain

The resulting type after applying the + operator.

fn add(self, rhs: Self) -> Self

Performs the + operation.

impl Clone for BitvectorDomain

fn clone(&self) -> BitvectorDomain

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BitvectorDomain

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for BitvectorDomain

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for BitvectorDomain

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

Formats the value using the given formatter.

impl From<ApInt> for BitvectorDomain

fn from(bitvector: Bitvector) -> BitvectorDomain

Converts to this type from the input type.

impl HasTop for BitvectorDomain

fn top(&self) -> BitvectorDomain

Return a Top value with the same bytesize as self.

impl Hash for BitvectorDomain

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Neg for BitvectorDomain

type Output = BitvectorDomain

The resulting type after applying the - operator.

fn neg(self) -> Self

Performs the unary - operation.

impl PartialEq for BitvectorDomain

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

fn bin_op(&self, op: BinOpType, rhs: &Self) -> Self

Evaluate the given binary operation.

For non-shift operations, this function will panic if the operands have different bitsizes.

fn un_op(&self, op: UnOpType) -> Self

Evaluate the given unary operation.

fn subpiece(&self, low_byte: ByteSize, size: ByteSize) -> Self

Extract a sub-bitvector out of a bitvector

fn cast(&self, kind: CastOpType, width: ByteSize) -> Self

Perform a size-changing cast on a bitvector.

fn bin_op_bytesize(&self, op: BinOpType, rhs: &Self) -> ByteSize

Return the bytesize of the result of the given binary operation. Has a generic implementation that should not be overwritten!

impl Serialize for BitvectorDomain

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl SizedDomain for BitvectorDomain

fn bytesize(&self) -> ByteSize

Return the bytesize of self.

fn new_top(bytesize: ByteSize) -> BitvectorDomain

Get a Top element with the given bitsize.

impl Sub for BitvectorDomain

type Output = BitvectorDomain

The resulting type after applying the - operator.

fn sub(self, rhs: Self) -> Self

Performs the - operation.

impl TryToBitvec for BitvectorDomain

fn try_to_bitvec(&self) -> Result<Bitvector, Error>

If the domain represents an absoulute value, return it.

fn try_to_offset(&self) -> Result<i64, Error>

If self represents a single absolute value, try to convert it to a signed integer and return it. Else return an error. Note that the conversion loses information about the bytesize of the value.

impl TryToInterval for BitvectorDomain

fn try_to_interval(&self) -> Result<Interval, Error>

If the domain represents an absolute value, return it as an interval of length one.

fn try_to_offset_interval(&self) -> Result<(i64, i64), Error>

If self represents an interval of absolute values (or can be widened to represent such an interval) then return it as an interval of signed integers of the form (start, end) if the interval is bounded. Else return an error. Note that the conversion loses information about the bytesize of the values contained in the interval.

impl Eq for BitvectorDomain

impl StructuralEq for BitvectorDomain

impl StructuralPartialEq for BitvectorDomain