Struct B64 

pub struct B64 {
    pub len: u32,
    pub bits: u64,
}

Fields

len: u32

bits: u64

Trait Implementations

impl Add for B64

type Output = B64

The resulting type after applying the + operator.

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

Performs the + operation.

impl BV for B64

const BIT_ONE: Self

const BIT_ZERO: Self

const MAX_WIDTH: u32 = 64u32

In Isla concrete bitvectors are only represented up to a specific maximum width/length. Beyond this they will be promoted to symbolic variables which are equal to a concrete value represented in the SMT solver. This makes computation over concrete bitvectors below this max width very efficient, as they can be represented as simple Copy types like u64.

fn new(bits: u64, len: u32) -> Self

fn lower_u64(self) -> u64

fn lower_u8(self) -> u8

fn is_zero(self) -> bool

fn zeros(len: u32) -> Self

Make a small bitvector of all zeros.

fn ones(len: u32) -> Self

Make a small bitvector of all ones.

fn leading_zeros(self) -> u32

fn from_u8(value: u8) -> Self

fn from_u16(value: u16) -> Self

fn from_u32(value: u32) -> Self

fn from_u64(value: u64) -> Self

fn from_bytes(bytes: &[u8]) -> Self

Byte order is: from_bytes(&[0xAB, 0xCD, 0xEF] == 0xABCDEF

fn to_le_bytes(self) -> Vec<u8>

fn to_be_bytes(self) -> Vec<u8>

fn from_str(bv: &str) -> Option<Self>

Parses a bitvector from a string slice. String must be prefixed by either #x/0x, or #b/0b (allowing both SMT style and Sail/C style prefixes) for hexadecimal or binary. Returns None if the string is not parseable for any reason

fn len(self) -> u32

fn add_i128(self, op: i128) -> Self

fn zero_extend(self, new_len: u32) -> Self

zero_extend a bitvector to a specific new length.

fn sign_extend(self, new_len: u32) -> Self

sign_extend a bitvector to a specific new length. Sign extending a zero-length bitvector creates a new_len sized bitvector containing only zeros.

fn unsigned(self) -> i128

fn signed(self) -> i128

fn slice(self, from: u32, len: u32) -> Option<Self>

fn set_slice(self, n: u32, update: Self) -> Self

fn set_slice_int(int: i128, n: u32, update: Self) -> i128

fn get_slice_int(len: u32, int: i128, n: u32) -> Self

fn len_i128(self) -> i128

fn is_empty(self) -> bool

fn sub_i128(self, op: i128) -> Self

fn append(self, suffix: Self) -> Option<Self>

fn extract(self, high: u32, low: u32) -> Option<Self>

fn shiftr(self, shift: i128) -> Self

fn arith_shiftr(self, shift: i128) -> Self

fn shiftl(self, shift: i128) -> Self

fn truncate_lsb(self, len: i128) -> Option<Self>

fn replicate(self, times: i128) -> Option<Self>

impl BitAnd for B64

type Output = B64

The resulting type after applying the & operator.

fn bitand(self, rhs: Self) -> Self::Output

Performs the & operation.

impl BitOr for B64

type Output = B64

The resulting type after applying the | operator.

fn bitor(self, rhs: Self) -> Self::Output

Performs the | operation.

impl BitXor for B64

type Output = B64

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: Self) -> Self::Output

Performs the ^ operation.

impl Clone for B64

fn clone(&self) -> B64

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for B64

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for B64

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for B64

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

Formats the value using the given formatter.

impl Hash for B64

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 LowerHex for B64

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

Formats the value using the given formatter.

impl Neg for B64

type Output = B64

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl Not for B64

type Output = B64

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl PartialEq for B64

fn eq(&self, other: &B64) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for B64

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Shl for B64

type Output = B64

The resulting type after applying the << operator.

fn shl(self, rhs: Self) -> Self::Output

Performs the << operation.

impl Shr for B64

type Output = B64

The resulting type after applying the >> operator.

fn shr(self, rhs: Self) -> Self::Output

Performs the >> operation.

impl Sub for B64

type Output = B64

The resulting type after applying the - operator.

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

Performs the - operation.

impl TryInto<u64> for B64

type Error = ExecError

The type returned in the event of a conversion error.

fn try_into(self) -> Result<u64, ExecError>

Performs the conversion.

impl UpperHex for B64

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

Formats the value using the given formatter.

impl Copy for B64

impl Eq for B64

impl StructuralPartialEq for B64