Trait binaryninja::llil::Liftable

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

    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>

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: ArchReg, A: 'a + Architecture> Liftable<'a, A> for Register<R>where
    R: Liftable<'a, A, Result = ValueExpr> + Into<Register<R>>,

type Result = ValueExpr

impl<'a, R: ArchReg, A: 'a + Architecture> Liftable<'a, A> for RegisterOrConstant<R>where
    R: LiftableWithSize<'a, A, Result = ValueExpr> + Into<Register<R>>,

type Result = ValueExpr