Trait yaxpeax_core::arch::x86_64::semantic::DFGAccessExtMut[−][src]

pub trait DFGAccessExtMut<V: Value + Debug> where
    Self: DFGLocationQueryMut<V, amd64>, {
    fn write_operand(
        &mut self, 
        instr: &Instruction, 
        operand: &Operand, 
        value: V
    ) { ... }

    fn store(&self, addr: &V, width: usize, value: V) { ... }

    fn read_jump_rel_operand(&self, operand: &Operand) -> V { ... }

    fn pop(&mut self) -> V { ... }

    fn push(&mut self, value: V) { ... }

    fn write_alu_result(
        &mut self, 
        instr: &Instruction, 
        dest_op: Operand, 
        value: ValueRes<V>
    ) { ... }

    fn write_alu_flags(&mut self, value: ValueRes<V>) -> V { ... }

    fn write_bitwise_result(
        &mut self, 
        instr: &Instruction, 
        dest_op: Operand, 
        value: ValueRes<V>
    ) { ... }

    fn write_bitwise_flags(&mut self, value: ValueRes<V>) -> V { ... }

    fn conditional_loc_write<DestFn: FnOnce() -> Location, R: FnOnce(&mut Self) -> V, AR: FnOnce(&mut Self) -> V>(
        &mut self, 
        condition: V, 
        dest: DestFn, 
        result: R, 
        antiresult: AR
    ) { ... }

    fn conditional_write<DestFn: FnOnce() -> Operand, R: FnOnce(&mut Self) -> V, AR: FnOnce(&mut Self) -> V>(
        &mut self, 
        instr: &Instruction, 
        condition: V, 
        dest: DestFn, 
        result: R, 
        antiresult: AR
    ) { ... }
}

Provided methods

Implementors