Struct cwe_checker_lib::pcode::Expression

pub struct Expression {
    pub mnemonic: ExpressionType,
    pub input0: Option<Variable>,
    pub input1: Option<Variable>,
    pub input2: Option<Variable>,
}

A P-Code expression.

P-Code itself does not divide instructions into expressions, definitions and jumps, like in the internally used IR. This type roughly corresponds to P-Code instructions without side effects (except for assigning to the output register).

Fields

mnemonic: ExpressionType

The instruction mnemonic

input0: Option<Variable>

The first input varnode (if it exists).

input1: Option<Variable>

The second input varnode (if it exists).

input2: Option<Variable>

The third input varnode (if it exists).

Trait Implementations

impl Clone for Expression

fn clone(&self) -> Expression

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Expression

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Expression

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<Expression> for Expression

fn from(expr: Expression) -> IrExpression

Translates a P-Code expression into an expression of the internally used IR if possible. Panics if translation is not possible.

Cases where translation is not possible:

• LOAD and STORE, since these are not expressions (they have side effects).
• Expressions which store the size of their output in the output variable (to which we do not have access here). These include SUBPIECE, INT_ZEXT, INT_SEXT, INT2FLOAT, FLOAT2FLOAT, TRUNC, LZCOUNT and POPCOUNT. Translation of these expressions is handled explicitly during translation of Def.

impl Hash for Expression

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 Expression

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

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 Expression

impl StructuralEq for Expression

impl StructuralPartialEq for Expression