pub enum SymExpr {
Show 76 variants
InputByte {
offset: usize,
value: u8,
},
Integer {
value: u64,
bits: u8,
},
Integer128 {
high: u64,
low: u64,
},
Float {
value: f64,
is_double: bool,
},
NullPointer,
True,
False,
Bool {
value: bool,
},
Neg {
op: SymExprRef,
},
Add {
a: SymExprRef,
b: SymExprRef,
},
Sub {
a: SymExprRef,
b: SymExprRef,
},
Mul {
a: SymExprRef,
b: SymExprRef,
},
UnsignedDiv {
a: SymExprRef,
b: SymExprRef,
},
SignedDiv {
a: SymExprRef,
b: SymExprRef,
},
UnsignedRem {
a: SymExprRef,
b: SymExprRef,
},
SignedRem {
a: SymExprRef,
b: SymExprRef,
},
ShiftLeft {
a: SymExprRef,
b: SymExprRef,
},
LogicalShiftRight {
a: SymExprRef,
b: SymExprRef,
},
ArithmeticShiftRight {
a: SymExprRef,
b: SymExprRef,
},
SignedLessThan {
a: SymExprRef,
b: SymExprRef,
},
SignedLessEqual {
a: SymExprRef,
b: SymExprRef,
},
SignedGreaterThan {
a: SymExprRef,
b: SymExprRef,
},
SignedGreaterEqual {
a: SymExprRef,
b: SymExprRef,
},
UnsignedLessThan {
a: SymExprRef,
b: SymExprRef,
},
UnsignedLessEqual {
a: SymExprRef,
b: SymExprRef,
},
UnsignedGreaterThan {
a: SymExprRef,
b: SymExprRef,
},
UnsignedGreaterEqual {
a: SymExprRef,
b: SymExprRef,
},
Not {
op: SymExprRef,
},
Equal {
a: SymExprRef,
b: SymExprRef,
},
NotEqual {
a: SymExprRef,
b: SymExprRef,
},
BoolAnd {
a: SymExprRef,
b: SymExprRef,
},
BoolOr {
a: SymExprRef,
b: SymExprRef,
},
BoolXor {
a: SymExprRef,
b: SymExprRef,
},
And {
a: SymExprRef,
b: SymExprRef,
},
Or {
a: SymExprRef,
b: SymExprRef,
},
Xor {
a: SymExprRef,
b: SymExprRef,
},
FloatOrdered {
a: SymExprRef,
b: SymExprRef,
},
FloatOrderedGreaterThan {
a: SymExprRef,
b: SymExprRef,
},
FloatOrderedGreaterEqual {
a: SymExprRef,
b: SymExprRef,
},
FloatOrderedLessThan {
a: SymExprRef,
b: SymExprRef,
},
FloatOrderedLessEqual {
a: SymExprRef,
b: SymExprRef,
},
FloatOrderedEqual {
a: SymExprRef,
b: SymExprRef,
},
FloatOrderedNotEqual {
a: SymExprRef,
b: SymExprRef,
},
FloatUnordered {
a: SymExprRef,
b: SymExprRef,
},
FloatUnorderedGreaterThan {
a: SymExprRef,
b: SymExprRef,
},
FloatUnorderedGreaterEqual {
a: SymExprRef,
b: SymExprRef,
},
FloatUnorderedLessThan {
a: SymExprRef,
b: SymExprRef,
},
FloatUnorderedLessEqual {
a: SymExprRef,
b: SymExprRef,
},
FloatUnorderedEqual {
a: SymExprRef,
b: SymExprRef,
},
FloatUnorderedNotEqual {
a: SymExprRef,
b: SymExprRef,
},
FloatNeg {
op: SymExprRef,
},
FloatAbs {
op: SymExprRef,
},
FloatAdd {
a: SymExprRef,
b: SymExprRef,
},
FloatSub {
a: SymExprRef,
b: SymExprRef,
},
FloatMul {
a: SymExprRef,
b: SymExprRef,
},
FloatDiv {
a: SymExprRef,
b: SymExprRef,
},
FloatRem {
a: SymExprRef,
b: SymExprRef,
},
Ite {
cond: SymExprRef,
a: SymExprRef,
b: SymExprRef,
},
Sext {
op: SymExprRef,
bits: u8,
},
Zext {
op: SymExprRef,
bits: u8,
},
Trunc {
op: SymExprRef,
bits: u8,
},
IntToFloat {
op: SymExprRef,
is_double: bool,
is_signed: bool,
},
FloatToFloat {
op: SymExprRef,
to_double: bool,
},
BitsToFloat {
op: SymExprRef,
to_double: bool,
},
FloatToBits {
op: SymExprRef,
},
FloatToSignedInteger {
op: SymExprRef,
bits: u8,
},
FloatToUnsignedInteger {
op: SymExprRef,
bits: u8,
},
BoolToBit {
op: SymExprRef,
},
Concat {
a: SymExprRef,
b: SymExprRef,
},
Extract {
op: SymExprRef,
first_bit: usize,
last_bit: usize,
},
Insert {
target: SymExprRef,
to_insert: SymExprRef,
offset: u64,
little_endian: bool,
},
PathConstraint {
constraint: SymExprRef,
taken: bool,
location: Location,
},
ExpressionsUnreachable {
exprs: Vec<SymExprRef>,
},
Call {
location: Location,
},
Return {
location: Location,
},
BasicBlock {
location: Location,
},
}
Expand description
SymExpr
represents a message in the serialization format.
The messages in the format are a perfect mirror of the methods that are called on the runtime during execution.
Variants§
InputByte
Integer
Integer128
Float
NullPointer
True
False
Bool
Neg
Fields
§
op: SymExprRef
Add
Sub
Mul
UnsignedDiv
SignedDiv
UnsignedRem
SignedRem
ShiftLeft
LogicalShiftRight
ArithmeticShiftRight
SignedLessThan
SignedLessEqual
SignedGreaterThan
SignedGreaterEqual
UnsignedLessThan
UnsignedLessEqual
UnsignedGreaterThan
UnsignedGreaterEqual
Not
Fields
§
op: SymExprRef
Equal
NotEqual
BoolAnd
BoolOr
BoolXor
And
Or
Xor
FloatOrdered
FloatOrderedGreaterThan
FloatOrderedGreaterEqual
FloatOrderedLessThan
FloatOrderedLessEqual
FloatOrderedEqual
FloatOrderedNotEqual
FloatUnordered
FloatUnorderedGreaterThan
FloatUnorderedGreaterEqual
FloatUnorderedLessThan
FloatUnorderedLessEqual
FloatUnorderedEqual
FloatUnorderedNotEqual
FloatNeg
Fields
§
op: SymExprRef
FloatAbs
Fields
§
op: SymExprRef
FloatAdd
FloatSub
FloatMul
FloatDiv
FloatRem
Ite
Sext
Zext
Trunc
IntToFloat
FloatToFloat
BitsToFloat
FloatToBits
Fields
§
op: SymExprRef
FloatToSignedInteger
FloatToUnsignedInteger
BoolToBit
Fields
§
op: SymExprRef
Concat
Extract
Insert
PathConstraint
ExpressionsUnreachable
These expressions won’t be referenced again
Fields
§
exprs: Vec<SymExprRef>
Call
Location information regarding a call. Tracing this information is optional.
Return
Location information regarding a return. Tracing this information is optional.
BasicBlock
Location information regarding a basic block. Tracing this information is optional.
Trait Implementations§
source§impl<'de> Deserialize<'de> for SymExpr
impl<'de> Deserialize<'de> for SymExpr
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
source§impl PartialEq for SymExpr
impl PartialEq for SymExpr
impl StructuralPartialEq for SymExpr
Auto Trait Implementations§
impl Freeze for SymExpr
impl RefUnwindSafe for SymExpr
impl Send for SymExpr
impl Sync for SymExpr
impl Unpin for SymExpr
impl UnwindSafe for SymExpr
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§impl<T> FmtForward for T
impl<T> FmtForward for T
source§fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
Causes
self
to use its Binary
implementation when Debug
-formatted.source§fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
Causes
self
to use its Display
implementation when
Debug
-formatted.source§fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
Causes
self
to use its LowerExp
implementation when
Debug
-formatted.source§fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
Causes
self
to use its LowerHex
implementation when
Debug
-formatted.source§fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
Causes
self
to use its Octal
implementation when Debug
-formatted.source§fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
Causes
self
to use its Pointer
implementation when
Debug
-formatted.source§fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
Causes
self
to use its UpperExp
implementation when
Debug
-formatted.source§fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
Causes
self
to use its UpperHex
implementation when
Debug
-formatted.source§impl<T, W> HasTypeWitness<W> for Twhere
W: MakeTypeWitness<Arg = T>,
T: ?Sized,
impl<T, W> HasTypeWitness<W> for Twhere
W: MakeTypeWitness<Arg = T>,
T: ?Sized,
source§impl<T> Identity for Twhere
T: ?Sized,
impl<T> Identity for Twhere
T: ?Sized,
source§impl<T> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> Pipe for Twhere
T: ?Sized,
impl<T> Pipe for Twhere
T: ?Sized,
source§fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
Pipes by value. This is generally the method you want to use. Read more
source§fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
Borrows
self
and passes that borrow into the pipe function. Read moresource§fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
Mutably borrows
self
and passes that borrow into the pipe function. Read moresource§fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
source§fn pipe_borrow_mut<'a, B, R>(
&'a mut self,
func: impl FnOnce(&'a mut B) -> R
) -> R
fn pipe_borrow_mut<'a, B, R>( &'a mut self, func: impl FnOnce(&'a mut B) -> R ) -> R
source§fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
Borrows
self
, then passes self.as_ref()
into the pipe function.source§fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
Mutably borrows
self
, then passes self.as_mut()
into the pipe
function.source§fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
Borrows
self
, then passes self.deref()
into the pipe function.source§impl<Tail, T> Prepend<T> for Tail
impl<Tail, T> Prepend<T> for Tail
§type PreprendResult = Tail
type PreprendResult = Tail
The Resulting
TupleList
, of an Prepend::prepend()
call,
including the prepended entry.source§fn prepend(self, value: T) -> (T, <Tail as Prepend<T>>::PreprendResult)
fn prepend(self, value: T) -> (T, <Tail as Prepend<T>>::PreprendResult)
Prepend a value to this tuple, returning a new tuple with prepended value.
source§impl<T> Serialize for T
impl<T> Serialize for T
fn erased_serialize(&self, serializer: &mut dyn Serializer) -> Result<(), Error>
fn do_erased_serialize( &self, serializer: &mut dyn Serializer ) -> Result<(), ErrorImpl>
source§impl<T> Serialize for T
impl<T> Serialize for T
fn erased_serialize(&self, serializer: &mut dyn Serializer) -> Result<Ok, Error>
source§impl<T> Tap for T
impl<T> Tap for T
source§fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
Immutable access to the
Borrow<B>
of a value. Read moresource§fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
Mutable access to the
BorrowMut<B>
of a value. Read moresource§fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
Immutable access to the
AsRef<R>
view of a value. Read moresource§fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
Mutable access to the
AsMut<R>
view of a value. Read moresource§fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
Immutable access to the
Deref::Target
of a value. Read moresource§fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
Mutable access to the
Deref::Target
of a value. Read moresource§fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
Calls
.tap()
only in debug builds, and is erased in release builds.source§fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
Calls
.tap_mut()
only in debug builds, and is erased in release
builds.source§fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
Calls
.tap_borrow()
only in debug builds, and is erased in release
builds.source§fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
Calls
.tap_borrow_mut()
only in debug builds, and is erased in release
builds.source§fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
Calls
.tap_ref()
only in debug builds, and is erased in release
builds.source§fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
Calls
.tap_ref_mut()
only in debug builds, and is erased in release
builds.source§fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
Calls
.tap_deref()
only in debug builds, and is erased in release
builds.