Struct cwe_checker_lib::intermediate_representation::Tid

pub struct Tid {
    pub address: String,
    /* private fields */
}

A term identifier consisting of an ID string (which is required to be unique) and an address to indicate where the term is located.

Fields

address: String

The address where the term is located.

Implementations

impl Tid

pub fn new<T: ToString>(val: T) -> Tid

Generate a new term identifier with the given ID string and with unknown address.

pub fn with_id_suffix(self, suffix: &str) -> Self

Add a suffix to the ID string and return the new Tid

pub fn has_id_suffix(&self, suffix: &str) -> bool

Returns true if the ID string ends with the provided suffix.

pub fn blk_id_at_address(address: &str) -> Tid

Generate the ID of a block starting at the given address.

Note that the block may not actually exist. For cases where one assembly instruction generates more than one block, the returned block ID is the one that would be executed first if a jump to the given address happened.

pub fn artificial_sink_block(suffix: &str) -> Self

Returns a new ID for an artificial sink block with the given suffix.

pub fn artificial_sink_sub() -> Self

Returns a new ID for the artificial sink sub.

pub fn is_artificial_sink_block(&self, suffix: &str) -> bool

Returns true iff the ID is for the artificial sink block with the given suffix.

pub fn is_artificial_sink_sub(&self) -> bool

Returns true iff the ID is for the artificial sink sub.

Trait Implementations

impl Clone for Tid

fn clone(&self) -> Tid

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Tid

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Tid

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for Tid

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

Formats the value using the given formatter.

impl Hash for Tid

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 Ord for Tid

fn cmp(&self, other: &Tid) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized + PartialOrd,

Restrict a value to a certain interval.

impl PartialEq for Tid

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

fn partial_cmp(&self, other: &Tid) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

This method tests less than (for self and other) and is used by the < operator.

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

This method tests less than or equal to (for self and other) and is used by the <= operator.

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

This method tests greater than (for self and other) and is used by the > operator.

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

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for Tid

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 Tid

impl StructuralEq for Tid

impl StructuralPartialEq for Tid