Module xgadget::semantics

Functions

has_ctrled_ops_only	Check if instruction has controllable operands only
is_direct_call	Check if direct call instruction
is_gadget_tail	Check if instruction is a ROP/JOP/SYS gadget tail
is_int	Check if interrupt instruction
is_jop_gadget_tail	Check if instruction is a JOP gadget tail
is_legacy_linux_syscall	Check if legacy Linux syscall
is_reg_indirect_call	Check if call instruction with register-controlled target
is_reg_indirect_jmp	Check if jump instruction with register-controlled target
is_reg_rw	Check if instruction both reads and writes the same register
is_reg_set	Check if sets register from another register or stack (e.g. exclude constant write)
is_ret	Check if return instruction
is_ret_imm16	Check if return instruction that adds to stack pointer
is_sys_gadget_tail	Check if instruction is a SYS gadget tail
is_syscall	Check if syscall/sysenter instruction
is_uncond_fixed_jmp	Check if unconditional jmp instruction