Trait binaryninja::llil::Liftable

pub trait Liftable<'func, A: 'func + Architecture> {
    type Result: ExpressionResultType;

    // Required method
    fn lift(
        il: &'func Function<A, Mutable, NonSSA<LiftedNonSSA>>,
        expr: Self
    ) -> Expression<'func, A, Mutable, NonSSA<LiftedNonSSA>, Self::Result>;
}

Required Associated Types

type Result: ExpressionResultType

Required Methods

fn lift( il: &'func Function<A, Mutable, NonSSA<LiftedNonSSA>>, expr: Self ) -> Expression<'func, A, Mutable, NonSSA<LiftedNonSSA>, Self::Result>

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<'a, A: 'a + Architecture> Liftable<'a, A> for i8

type Result = ValueExpr

fn lift( il: &'a Function<A, Mutable, NonSSA<LiftedNonSSA>>, val: Self ) -> Expression<'a, A, Mutable, NonSSA<LiftedNonSSA>, Self::Result>

impl<'a, A: 'a + Architecture> Liftable<'a, A> for i16

type Result = ValueExpr

fn lift( il: &'a Function<A, Mutable, NonSSA<LiftedNonSSA>>, val: Self ) -> Expression<'a, A, Mutable, NonSSA<LiftedNonSSA>, Self::Result>

impl<'a, A: 'a + Architecture> Liftable<'a, A> for i32

type Result = ValueExpr

fn lift( il: &'a Function<A, Mutable, NonSSA<LiftedNonSSA>>, val: Self ) -> Expression<'a, A, Mutable, NonSSA<LiftedNonSSA>, Self::Result>

impl<'a, A: 'a + Architecture> Liftable<'a, A> for i64

type Result = ValueExpr

fn lift( il: &'a Function<A, Mutable, NonSSA<LiftedNonSSA>>, val: Self ) -> Expression<'a, A, Mutable, NonSSA<LiftedNonSSA>, Self::Result>

impl<'a, A: 'a + Architecture> Liftable<'a, A> for u8

type Result = ValueExpr

fn lift( il: &'a Function<A, Mutable, NonSSA<LiftedNonSSA>>, val: Self ) -> Expression<'a, A, Mutable, NonSSA<LiftedNonSSA>, Self::Result>

impl<'a, A: 'a + Architecture> Liftable<'a, A> for u16

type Result = ValueExpr

fn lift( il: &'a Function<A, Mutable, NonSSA<LiftedNonSSA>>, val: Self ) -> Expression<'a, A, Mutable, NonSSA<LiftedNonSSA>, Self::Result>

impl<'a, A: 'a + Architecture> Liftable<'a, A> for u32

type Result = ValueExpr

fn lift( il: &'a Function<A, Mutable, NonSSA<LiftedNonSSA>>, val: Self ) -> Expression<'a, A, Mutable, NonSSA<LiftedNonSSA>, Self::Result>

impl<'a, A: 'a + Architecture> Liftable<'a, A> for u64

type Result = ValueExpr

fn lift( il: &'a Function<A, Mutable, NonSSA<LiftedNonSSA>>, val: Self ) -> Expression<'a, A, Mutable, NonSSA<LiftedNonSSA>, Self::Result>

Implementors

impl<'a, A, R> Liftable<'a, A> for Expression<'a, A, Mutable, NonSSA<LiftedNonSSA>, R>

where A: 'a + Architecture, R: ExpressionResultType,

type Result = R

impl<'a, A, R> Liftable<'a, A> for ExpressionBuilder<'a, A, R>

where A: 'a + Architecture, R: ExpressionResultType,

type Result = R

impl<'a, R, A: 'a + Architecture> Liftable<'a, A> for Register<R>

where R: Liftable<'a, A, Result = ValueExpr> + Into<Register<R>> + ArchReg,

type Result = ValueExpr

impl<'a, R, A: 'a + Architecture> Liftable<'a, A> for RegisterOrConstant<R>

where R: LiftableWithSize<'a, A, Result = ValueExpr> + Into<Register<R>> + ArchReg,

type Result = ValueExpr