Enum cwe_checker_lib::analysis::taint::Taint

pub enum Taint {
    Tainted(ByteSize),
    Top(ByteSize),
}

An abstract domain representing a value that is either tainted or not.

Note that the merge-function does not respect the partial order that is implied by the naming scheme of the variants! In fact, the whole analysis does not enforce any partial order for this domain. This means that in theory the fixpoint computation may not actually converge to a fixpoint, but in practice the analysis can make more precise decisions whether a value should be tainted or not.

Variants

Tainted(ByteSize)

A tainted value of a particular bytesize.

Top(ByteSize)

An untainted value of a particular bytesize.

Implementations

impl Taint

pub fn is_tainted(&self) -> bool

Checks whether the given value is in fact tainted.

Trait Implementations

impl AbstractDomain for Taint

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

The result of merging two Taint values is tainted if at least one input was tainted.

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

Replaces self with other iff self is untainted and other is tainted.

No change to self is required in the other cases.

fn is_top(&self) -> bool

Checks whether the value is an untainted Top-value.

impl Clone for Taint

fn clone(&self) -> Taint

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Taint

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Taint

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for Taint

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

Print the value of a Taint object.

impl HasTop for Taint

fn top(&self) -> Self

Get a new Top-value with the same bytesize as self.

impl Hash for Taint

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 PartialEq for Taint

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

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

The result of a binary operation is tainted if at least one input value was tainted.

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

The result of a unary operation is tainted if the input was tainted.

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

A subpiece of a tainted value is again tainted.

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

The result of a cast operation is tainted if the input was tainted.

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 Taint

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 Taint

fn bytesize(&self) -> ByteSize

The size in bytes of the Taint value.

fn new_top(bytesize: ByteSize) -> Self

Get a new Top-value with the given bytesize.

impl ToJsonCompact for Taint

fn to_json_compact(&self) -> Value

Returns a json representation of values of type self that is suitable for debugging purposes.

fn print_compact_json(&self)

Print values of type Self for debugging purposes.

impl Copy for Taint

impl Eq for Taint

impl StructuralEq for Taint

impl StructuralPartialEq for Taint