Module xgadget::semantics

Functions

is_call	Check if call instruction
is_gadget_tail	Check if instruction is a ROP/JOP/SYS gadget tail
is_int	Check if interrupt instruction
is_jmp	Check if jmp instruction
is_jop_gadget_tail	Check if instruction is a JOP gadget tail
is_legacy_linux_syscall	Check if legacy Linux syscall
is_mem_ptr_set_call	Check if call instruction with register-controlled memory deref target
is_mem_ptr_set_jmp	Check if jump instruction with register-controlled memory deref target
is_reg_set_call	Check if jump instruction with register-controlled target
is_reg_set_jmp	Check if jump instruction with register-controlled target
is_reg_update_from_curr_val	Check if instruction updates register in predictable fashion suitable for a dispatcher
is_ret	Check if return instruction
is_single_reg_deref_read	Check if instruction reads single register-controlled memory location
is_single_reg_deref_write	Check if instruction writes single register-controlled memory location
is_single_reg_read	Check if instruction reads single register
is_single_reg_write	Check if instruction writes single register
is_sys_gadget_tail	Check if instruction is a SYS gadget tail
is_syscall	Check if syscall instruction